diff options
| author | Pierre Boutillier | 2014-07-21 17:53:50 +0200 |
|---|---|---|
| committer | Pierre Boutillier | 2014-07-22 17:13:32 +0200 |
| commit | 4271bebb68b09ddcc0d283ab16acaab399e22f13 (patch) | |
| tree | b05c67fa3b5283775f9ea39b7d8fb492de036b41 /Makefile | |
| parent | 9055359520294ac1089934eb41e1b3b2fe0987a1 (diff) | |
Coqide use '(diraname MYSELF)/coqtop' as coqtop only if this file exists
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions