diff options
| author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-10 17:27:19 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-10 19:44:54 +0200 |
| commit | 2fdd38ed2df0f6df08154a8982c87d77b9ca7b18 (patch) | |
| tree | f9efce1d42b14e4d790c27ed59a23f94ffd98bbf /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | eaf0de5985ef1316323c7da4026ed268399a3589 (diff) | |
camlp5_transitional: remove in favor of camlp5 (strict)
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions