diff options
| author | Valentin Robert <valentin.robert.42@gmail.com> | 2019-01-11 11:25:05 -0800 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-01-30 11:30:23 +0000 |
| commit | f5dbe5de072a7595949f27adbd8955af2927a3db (patch) | |
| tree | 5299341d19a58be16d24b041dfac9d0884da603d /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 4a200fbbf0a26c55e5ecb280cf173569bd813197 (diff) | |
coqPackages.coq-extensible-records: init at 1.2.0
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions