diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-05-27 19:02:21 +0200 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-05-27 19:02:21 +0200 |
| commit | e2f1a90fb0061b6a1c969955f9957a8c8b1f7ed1 (patch) | |
| tree | cb882d15e3cd8f3e758a60f481e162ee14ec337c /doc/ProofGeneral.texi | |
| parent | aff6697e7c2ad645ad54d29da12d65aded5e038a (diff) | |
Fixing a smal glitch in indentation.
Diffstat (limited to 'doc/ProofGeneral.texi')
0 files changed, 0 insertions, 0 deletions