about summary refs log tree commit diff
path: root/src/globals.hh
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-06-27T14·56+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-06-27T14·56+0000
commit40b5936691fe2448dea0080e2319cc340bc7c65c (patch)
tree66144e3af56bc1d7035134b85f5e00641ab305e0 /src/globals.hh
parent3da9687854e029e9df3b612fd592d2d5a622bb20 (diff)
* Realisation of Derive(...) expressions.
Diffstat (limited to 'src/globals.hh')
0 files changed, 0 insertions, 0 deletions