diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2011-08-11 12:45:18 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2011-08-11 12:45:18 +0200 |
| commit | c71f5fc7c50eb01c3d14191b7e81eaaa7565bc7d (patch) | |
| tree | 66d46dda627300c862070408cad420b683372461 /info.rkt | |
| parent | 00c4c1b78f25a2cb44a7617201c40d0e95d154c9 (diff) | |
Fix manual formatting.
Diffstat (limited to 'info.rkt')
0 files changed, 0 insertions, 0 deletions