diff options
| author | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-02-05 23:05:35 +0100 |
|---|---|---|
| committer | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-02-05 23:05:35 +0100 |
| commit | 3ffee49d000d27f9af5e74fef540ab345ead4332 (patch) | |
| tree | 73a4644677678a2eab68bb544682a795c95cf24f /GNUmakefile | |
| parent | 2f1df9d277d2c5e38cf162dadf170074c0d20526 (diff) | |
Make PRINT-OBJECT behave a bit nicer for instances of type ID.
darcs-hash:a46e3bf12db7d3f59655da9e37d16a64c0577e00
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions