diff options
| -rw-r--r-- | README.md | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -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 |