diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-03-10 10:32:31 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-03-10 10:32:31 +0000 |
commit | 777dc33ca65659208a5ed37e33ad4127ea087436 (patch) | |
tree | a39dfb24991b11d256794411865f196c99414008 /.cvsignore | |
parent | 91f51adb9c336cc9255152063fbc5d2baf00e1c5 (diff) |
Fix to use in place of make, see http://proofgeneral.inf.ed.ac.uk/trac/ticket/262
Diffstat (limited to '.cvsignore')
0 files changed, 0 insertions, 0 deletions