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