about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2008-12-12T15·36+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2008-12-12T15·36+0000
commitac36c6cd44e8f46573ce3df0749d2f062fa35f3b (patch)
tree09fd3f8a326d3c6088a5213ca8e04d6d69685d3b /src
parent2b70a8e7c98adebdac1e546e17ee1d909b4e5989 (diff)
* Some hackery to make "make check" succeed on Cygwin.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions