diff options
author | Stephane Glondu <steph@glondu.net> | 2009-01-31 22:23:48 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2009-02-01 00:54:53 +0100 |
commit | 38008218aa42a2f5520e7de71589378c333727c4 (patch) | |
tree | c485ac1dfcc2139d957e76b86e836054e59d46e7 /lib/predicate.mli | |
parent | 9fb907bf00825cd43c3fd62f0edc26b8e853e0b7 (diff) |
Camlp4 -> Camlp5 in package descriptions
Diffstat (limited to 'lib/predicate.mli')
0 files changed, 0 insertions, 0 deletions