about summary refs log tree commit diff
path: root/scripts
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-07-07T09·29+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-07-07T09·29+0000
commitbe96c2189ca017612277ab6301164a5e2facfca5 (patch)
treea1b73ae9745dcc65b8cc2fdcc7bacadb7fa506e6 /scripts
parent5895c160c466c0a97716ffdf5ef654eb1c3c6009 (diff)
* `--realise' -> `--install'.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions