diff options
| author |  jbapple <github.public@jbapple.com> | 2014-10-27 17:49:43 -0700 |
|---|---|---|
| committer |  Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-10-28 09:09:56 +0100 |
| commit | 2d88f205592d279bc7a57e0901522214770c2948 (patch) | |
| tree | e6e4994352b5eaaef32ae9603ba7a016703cbb4b /plugins/xml | |
| parent | a138fad67455ed2f48a222e4697d24d5aafed30b (diff) | |
Allow camlp5 to have version numbers like "6.09-exp"
Diffstat (limited to 'plugins/xml')
0 files changed, 0 insertions, 0 deletions