diff options
| author | Pierre Courtieu | 2012-06-08 11:40:43 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2012-06-08 11:40:43 +0000 |
| commit | 7ecdbfb869b5e9d6cd75c610ef125823b3727071 (patch) | |
| tree | 39fca488052f051211f00ca7e3c0f15a809c6a9c /generic/proof-script.el | |
| parent | 3d730bd7c3b25afdcc4a14ddc7c79b9c8ec37fd3 (diff) | |
Indentation is a bit more accurate.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions