diff options
| author | Jörg Thalheim <joerg@thalheim.io> | 2018-10-28 20:45:04 +0000 |
|---|---|---|
| committer | Jörg Thalheim <joerg@thalheim.io> | 2018-10-30 13:31:11 +0000 |
| commit | 8df0ca2bbcc98a787fccf623a91f5ea79161fce9 (patch) | |
| tree | f8eaf67484757a410c627a5ea0e44e3b82143ca1 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | b5ad6154743436b5acc791ccec5cde4be36dd18b (diff) | |
coq_8_4: remove
verasco was its only user
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions