diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-08-21 21:33:13 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-08-29 12:49:32 +0000 |
| commit | 9edd1875bc07fae5d5ac7e5beb0d4d26b8ad191f (patch) | |
| tree | 4524acf02f3637570cf83dc940f64c2a9a2041ef /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 271af919e352c1a0d301fd364e1b5482701aff96 (diff) | |
coq_8_6: use OCaml 4.05
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions