diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2016-04-12 19:43:49 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2016-04-12 19:43:49 +0200 |
| commit | 618b336808a320aa134b0ed730b1bcfbc6c3ce23 (patch) | |
| tree | c4d08a36fef99da551076797a6c84e223b7f5610 /pkgs/development/python-modules/GitPython | |
| parent | a036fda544d26cbaa38b6fbcf0cd2fbb14d13d0f (diff) | |
coq-ext-lib: 0.9.0-beta3 -> 0.9.3
Diffstat (limited to 'pkgs/development/python-modules/GitPython')
0 files changed, 0 insertions, 0 deletions