diff options
| author | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-03-06 15:29:57 +0100 |
|---|---|---|
| committer | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-03-06 15:29:57 +0100 |
| commit | ef730ebc5b41e6d20152b6564ddf8b8b640b9414 (patch) | |
| tree | 3e431a09352fa3f068b86872883f50b741cbfc45 /GNUmakefile | |
| parent | 7c28d5f8a4b906b67229f2fe3ee01cf7fcf54a78 (diff) | |
Document SUPER.
darcs-hash:380bb758627d0dd85aed6de3c23d67f89ba42b63
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions