diff options
| author | John Wiegley <johnw@newartisans.com> | 2014-10-13 16:10:19 -0500 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2014-10-13 16:11:33 -0500 |
| commit | f78f2a90d664fb7e142fb6e4e64b9273516be4d8 (patch) | |
| tree | 7a415dbf651c25c5e622c41ba20aeff033110f6f /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | b9c2fe5fd8d1ebad8aead54616e80358058b39cb (diff) | |
coqPackages.ssreflect, more: build ssrcoq binary, add maintainer
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions