diff options
| author | Mateusz Kowalczyk <mk440@bath.ac.uk> | 2014-09-30 15:04:30 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <mk440@bath.ac.uk> | 2014-09-30 15:04:30 +0100 |
| commit | ce4ae2aa1e49cb550734755dda893fb39bec4a2b (patch) | |
| tree | d86d786eca549a4c31035068031a28d5bad665ee /pkgs/development/python-modules/GitPython | |
| parent | 02e29e2eb14c3287f9c3276874295fe7f5a276a7 (diff) | |
| parent | a65767a0b42e91f711e655820d6b76bd51265847 (diff) | |
Merge pull request #4305 from vbgl/coq-containers
Working with Coq
Diffstat (limited to 'pkgs/development/python-modules/GitPython')
0 files changed, 0 insertions, 0 deletions