diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-07T09·29+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-07T09·29+0000 |
| commit | be96c2189ca017612277ab6301164a5e2facfca5 (patch) | |
| tree | a1b73ae9745dcc65b8cc2fdcc7bacadb7fa506e6 /src/globals.cc | |
| parent | 5895c160c466c0a97716ffdf5ef654eb1c3c6009 (diff) | |
* `--realise' -> `--install'.
Diffstat (limited to 'src/globals.cc')
0 files changed, 0 insertions, 0 deletions