diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-04-07 19:22:55 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-04-07 19:24:17 +0200 |
commit | 197a45551c133b5b386188bdf1d6a3739a6a3561 (patch) | |
tree | c7bd1982c38906e34462fe4fd33d7806de9c52c6 /.mailmap | |
parent | 3fb4d9dfc270aa7d4ea09fabbf857cfc11607019 (diff) | |
parent | 2d6ebc9d8bffd5910f201af75a0b3e45dd9c8988 (diff) |
Merge PR#461: [camlpX] Remove camlp4 compat layer.
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions