diff options
| author | ppedrot | 2012-05-23 12:46:11 +0000 |
|---|---|---|
| committer | ppedrot | 2012-05-23 12:46:11 +0000 |
| commit | f657facaf4fc5c6193acbabd75ef8aaae4674fe7 (patch) | |
| tree | 7153be7a2577509c2991e682668bc0d6b837111c /config/Makefile.template | |
| parent | a2e1cc5f1d74fb0251faff9c9f00ff676ec2623a (diff) | |
Reducing CoqIDE start option queries.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15344 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'config/Makefile.template')
0 files changed, 0 insertions, 0 deletions