diff options
author | Christian Grothoff <christian@grothoff.org> | 2011-08-15 21:51:21 +0000 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2011-08-15 21:51:21 +0000 |
commit | 6fd3e715cae09fa6e657c96f1c6f9711ee51f42f (patch) | |
tree | edbc42f37889069033e57da201fef242939a6e0f /RATIONALE | |
parent | 502af2167f7c218366666ca4944bd7cc54b5b19a (diff) |
indentation
Diffstat (limited to 'RATIONALE')
0 files changed, 0 insertions, 0 deletions