diff options
author | 2009-01-31 22:23:48 +0100 | |
---|---|---|
committer | 2009-02-01 00:54:53 +0100 | |
commit | 38008218aa42a2f5520e7de71589378c333727c4 (patch) | |
tree | c485ac1dfcc2139d957e76b86e836054e59d46e7 /scripts/coqc.ml | |
parent | 9fb907bf00825cd43c3fd62f0edc26b8e853e0b7 (diff) |
Camlp4 -> Camlp5 in package descriptions
Diffstat (limited to 'scripts/coqc.ml')
0 files changed, 0 insertions, 0 deletions