diff options
| author | John Wiegley <johnw@newartisans.com> | 2014-12-04 14:15:30 -0600 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2014-12-04 14:15:30 -0600 |
| commit | e5d92d45b7917350e6f2f262f9871c5d46f7719e (patch) | |
| tree | 5b6774872e4b1aa65bff40bfe4f7edae76f602b4 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 730286ddfd8f24a5a9593e3da58cb535e38e865a (diff) | |
coqPackages.coqeal: new expression
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions