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 /AUTHORS | |
parent | 5895c160c466c0a97716ffdf5ef654eb1c3c6009 (diff) |
* `--realise' -> `--install'.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions