diff options
| author | roconnor <roconnor@theorem.ca> | 2015-09-11 00:19:08 -0400 |
|---|---|---|
| committer | roconnor <roconnor@theorem.ca> | 2015-09-11 00:19:08 -0400 |
| commit | 22838a8f9923b936ff8cf8018503e0c017d75645 (patch) | |
| tree | 44b9a50b6d32424a4f20d6ca8c33b2ac8ee3f88a /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 5d50acceeb20a02ac9dc6009b1c5dbcb5f275a4c (diff) | |
| parent | 4cc5f5dbb6db6b17f5346cc601b364f758600083 (diff) | |
Merge pull request #9765 from roconnor/master
Add csdp support for Micromega tactics in Coq.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions