diff options
| author | Ricardo M. Correia <rcorreia@wizy.org> | 2018-07-18 02:57:55 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-07-21 22:53:44 +0000 |
| commit | 0cf09556ebdfe5f393ee1f2033aacd9169853894 (patch) | |
| tree | c9be11110ea95500195142ea28046f6499d5a546 /pkgs/development/python-modules/GitPython | |
| parent | 710d4e76dd63b59707b7747cf8e9e970ae8bad8e (diff) | |
why3: 0.88.3 -> 1.0.0
Diffstat (limited to 'pkgs/development/python-modules/GitPython')
0 files changed, 0 insertions, 0 deletions