From c057f59599872b9ef98d5e2f4ffa9a7e5095916c Mon Sep 17 00:00:00 2001
From: Yves Bertot
Date: Wed, 9 May 2018 11:01:35 +0200
Subject: typo

---
 README.md | 2 --
 1 file changed, 2 deletions(-)

diff --git a/README.md b/README.md
index 406bb1083c..00ff146e46 100644
--- a/README.md
+++ b/README.md
@@ -48,5 +48,3 @@ How to write plugins in Coq
   - Using these terms in tactics
 
   compilation and loading must be performed as for `tuto0`.
-    
-    
\ No newline at end of file
-- 
cgit v1.2.3