diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-12-12T15·36+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-12-12T15·36+0000 |
commit | ac36c6cd44e8f46573ce3df0749d2f062fa35f3b (patch) | |
tree | 09fd3f8a326d3c6088a5213ca8e04d6d69685d3b /src | |
parent | 2b70a8e7c98adebdac1e546e17ee1d909b4e5989 (diff) |
* Some hackery to make "make check" succeed on Cygwin.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions