diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2005-10-04 08:02:14 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2005-10-04 08:02:14 +0000 |
commit | 06f7dafd769e7ef29452e7491ca87d5f374a3149 (patch) | |
tree | 1998cb9f180fa038021c4fa2cb9caf389a756219 /phox | |
parent | db6904e6ede82c75e4b6189155d8260d0016377c (diff) |
Make install-bin also install Isabelle and Lego scripts
Diffstat (limited to 'phox')
0 files changed, 0 insertions, 0 deletions