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