diff options
author | 2011-05-31 23:31:30 +0000 | |
---|---|---|
committer | 2011-05-31 23:31:30 +0000 | |
commit | e267bbb6a7d9ebff0e30928ff22e471723b0a43e (patch) | |
tree | 2f80627f82cdda314d28e4a8c92b71f13e02d82e /isar/isar-autotest.el | |
parent | 31b9b0b06e3a692cc0a7907370919ad6270c303d (diff) |
Some small fixes in indentation for coq.
Diffstat (limited to 'isar/isar-autotest.el')
0 files changed, 0 insertions, 0 deletions