diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-06-17T13·37+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-06-17T13·37+0000 |
| commit | a7ab242fb42dad81dc1bccdca4b432587e0957dd (patch) | |
| tree | 55d9e88cccedac604da05fa6873bfde4ad11ba6d /src/globals.hh | |
| parent | c739e2058560ad018dcf68e16fa683ca404d548c (diff) | |
* Simplify the evaluator.
Diffstat (limited to 'src/globals.hh')
0 files changed, 0 insertions, 0 deletions