diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2010-09-09 11:27:49 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2010-09-09 11:27:49 +0000 |
commit | ea043143aa90e0013bb8c4bd2ceb59217618f598 (patch) | |
tree | a67d010c995649c15201504b3bcdb68521b8a0bd /twelf | |
parent | 085f52535d2939e18cdd4ae5e6b24a2220465179 (diff) |
Fixed small bugs in indentation.
Diffstat (limited to 'twelf')
0 files changed, 0 insertions, 0 deletions