From 9ee02cfad54fe61a17fa748e1570a86290e7e59c Mon Sep 17 00:00:00 2001
From: Ulrik Buchholtz <ulrikbuchholtz@gmail.com>
Date: Fri, 7 Jul 2017 23:04:39 +0100
Subject: [PATCH] typo in README

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index cab7250..f57acd7 100644
--- a/README.md
+++ b/README.md
@@ -98,4 +98,4 @@ These projects are mostly done
 - We will try to make sure that this repository compiles with the newest version of Lean 2.
 - Installation instructions for Lean 2 can be found [here](https://github.com/leanprover/lean2).
 - Some notes on the Emacs mode can be found [here](https://github.com/leanprover/lean2/blob/master/src/emacs/README.md) (for example if some unicode characters don't show up, or increase the spacing between lines by a lot).
-- If you contribute, please use rebase instead off merge (e.g. `git pull -r`).
+- If you contribute, please use rebase instead of merge (e.g. `git pull -r`).