diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-03-18 08:47:58 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-03-20 09:54:51 +0000 |
| commit | 338f5208b3970040ac51fb0cf6a979957d396bf4 (patch) | |
| tree | 044e5fd2f6865af70cf387f9989f256443994a08 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 49fb21232ff08a2f591237a97ebbbd7beda8d9c2 (diff) | |
compcert: fix source
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions
