diff options
| author | Pierre Courtieu | 2011-11-08 17:49:20 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2011-11-08 17:49:20 +0000 |
| commit | d2c01819c1b13213450c0427a0d3b6b87af24a3f (patch) | |
| tree | 93e1014e489d96253b05137637c5092735a715e7 /doc/proofgen.css | |
| parent | fcf51e91fe9bb2e630b03678271e542ed031b0ac (diff) | |
added utf8 quantifiers for indentation + small fix in indentation.
Diffstat (limited to 'doc/proofgen.css')
0 files changed, 0 insertions, 0 deletions