diff options
| author | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-03-07 00:20:44 +0100 |
|---|---|---|
| committer | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-03-07 00:20:44 +0100 |
| commit | 869adead6800b00d8dc17a9dfa2bdaf83a175c67 (patch) | |
| tree | 413320bead3cf23b65ae487bf0a68b678febed3e /GNUmakefile | |
| parent | 9f42bd09be63cf0b3b92eea7075cf95d2b96eb49 (diff) | |
Remove an obsolete debugging aid.
darcs-hash:521ffa1607066cc2f7fb52c116e3d0b85db4d31a
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions