diff options
| author | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-01-28 20:16:27 +0100 |
|---|---|---|
| committer | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-01-28 20:16:27 +0100 |
| commit | f955a86f64289de63702bd03f4d6d7fdec9dff1b (patch) | |
| tree | cab896469b2bd1d653fe6231e64934ecbae23829 /GNUmakefile | |
| parent | cc96561d0c9a2a8e8e00c0c6dec63ea41da54770 (diff) | |
Add GNU runtime guards to the files imported from JIGS.
darcs-hash:4b8ebfe2f636c1515b99d4138075df0ad4e8a5e1
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions