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