diff options
| author | Matthias Benkard <code@mail.matthias.benkard.de> | 2007-09-12 01:27:31 +0200 |
|---|---|---|
| committer | Matthias Benkard <code@mail.matthias.benkard.de> | 2007-09-12 01:27:31 +0200 |
| commit | 48c9d92ba6d99a360c20440e800b89c5bd3b7033 (patch) | |
| tree | 79a6e2e072eb1d766c669ea839db23e594c3dbcd /GNUmakefile | |
| parent | f9408631aa030926fad625ecf4d18f08b478fc1d (diff) | |
Use @encode to encode type information.
darcs-hash:cac9540730277baec26b4b6c8fa563ff649fc70b
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions