diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-04 19:41:01 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-04 19:41:01 +0000 |
commit | bdcc98ef86c7de480bcabcb32e958ccf80298fba (patch) | |
tree | f97191468be0a18cc504dce32fee13a8814e0ee3 /INSTALL | |
parent | 907eb765675d2f18914f7faed9a55b8c73f60d76 (diff) |
*** empty log message ***
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -118,7 +118,6 @@ shell script into perhaps sensible places. Try with "-n" or examine the Makefile carefully before use. - Removing support for unwanted provers ------------------------------------- |