diff options
| author | Pierre Courtieu | 2006-08-23 14:47:28 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-08-23 14:47:28 +0000 |
| commit | f10621fce14c44b8d776cdf1abb9998767fceec1 (patch) | |
| tree | abef7563550cba18ab124b3aa9d95738c7c1d2a8 /Makefile.devel | |
| parent | b83fa79d3764763deeba9e403e4646e22731d810 (diff) | |
Coq indentation small fixes.
Diffstat (limited to 'Makefile.devel')
0 files changed, 0 insertions, 0 deletions