diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-09-30 09:41:02 +0100 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-10-01 00:44:15 +0100 |
| commit | c260abbff8c0e153a5ac467063751de0497eb23c (patch) | |
| tree | 447bb2b2dd98b978c79f297600b77388350e1548 /pkgs/development/python-modules/GitPython | |
| parent | a6af1e96de75868bd649a8112031437c3cdc8ec4 (diff) | |
hol_light: update to r199
And adds compatibility with camlp5-6.12
Diffstat (limited to 'pkgs/development/python-modules/GitPython')
0 files changed, 0 insertions, 0 deletions