diff options
author | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-10-09 20:31:01 +0000 |
---|---|---|
committer | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-10-09 20:31:01 +0000 |
commit | 26d5b958417be3750bd767ede0128510fe8508b8 (patch) | |
tree | 9355965a5e37713e2eef951ae6d5fffb4f2227b1 /ide/tags.ml | |
parent | fc4a50be24c2026947253c4f0820c9d714f51a75 (diff) |
Fixing CAMLP4 compilation.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16865 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/tags.ml')
0 files changed, 0 insertions, 0 deletions