diff options
| author | Matthias Benkard <code@mail.matthias.benkard.de> | 2007-10-04 17:32:41 +0200 |
|---|---|---|
| committer | Matthias Benkard <code@mail.matthias.benkard.de> | 2007-10-04 17:32:41 +0200 |
| commit | 9a3ec83a6db3ca95be8a4bf11620f93bfa348a4b (patch) | |
| tree | 6fa6a775c7c2bf974ccf5e6546f8bdee54c0e759 /GNUmakefile | |
| parent | b8764bfc2acf5f569b864a8b30175d2285b529d7 (diff) | |
Make type handling work on the GNU runtime again.
darcs-hash:fc311f5f95252858c3d57007d43f5eb327db7cd6
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions