diff options
| author | Pierre Courtieu | 2015-09-29 10:38:24 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2015-09-29 13:22:21 +0200 |
| commit | 2d2d90e22a9dcf979d10dd41eb08818126ab650e (patch) | |
| tree | 9a76fa8ff28b40a3befb85f53c8e23431514c5b1 /generic | |
| parent | 8f984a7272de74d8a88cffcef2ca6160d710b335 (diff) | |
Fixed #1 (Missing space in coq-insert-intros).
Added a newline and removed the useless intros.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions