about summary refs log tree commit diff
path: root/src/globals.hh
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-07-07T07·44+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-07-07T07·44+0000
commit609a224848dd08cea35a89b03b64274c82f0a2a7 (patch)
tree566226e0f2afb162420062de3aa75fc1ad090f12 /src/globals.hh
parent224c585aba5e450fa47e41c4cc19dac2d0c6fe2a (diff)
* Fixed `make check' as well.
Diffstat (limited to 'src/globals.hh')
0 files changed, 0 insertions, 0 deletions