diff options
| author | Mateusz Kowalczyk <mk440@bath.ac.uk> | 2014-10-03 18:36:06 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <mk440@bath.ac.uk> | 2014-10-03 18:36:06 +0100 |
| commit | 3d26ea99dc279e5221c3058a94bfcbad588feee6 (patch) | |
| tree | 7c2ab6f6808ce88edd1908bee0f52019367ce843 /pkgs/development/python-modules/GitPython | |
| parent | d28b75564c74bfa7f7629c49b8bb1ca70da7a279 (diff) | |
| parent | 01c6d8569fdc176bdcbc7894e932bbcb6d4b6277 (diff) | |
Merge pull request #4342 from vbgl/camlp5-6.12
Camlp5: update to 6.12; hol-light: update to r199
Diffstat (limited to 'pkgs/development/python-modules/GitPython')
0 files changed, 0 insertions, 0 deletions