diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2011-05-31 23:31:30 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2011-05-31 23:31:30 +0000 |
| commit | e267bbb6a7d9ebff0e30928ff22e471723b0a43e (patch) | |
| tree | 2f80627f82cdda314d28e4a8c92b71f13e02d82e /etc/ProofGeneral.spec | |
| parent | 31b9b0b06e3a692cc0a7907370919ad6270c303d (diff) | |
Some small fixes in indentation for coq.
Diffstat (limited to 'etc/ProofGeneral.spec')
0 files changed, 0 insertions, 0 deletions