diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-06-08 14:57:38 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-06-08 14:57:38 +0100 |
| commit | 9bb5c2c4886838226dbb64941f6d7dcbbdd6d7ce (patch) | |
| tree | 7506ec170b2d5a958300857f97dc4e12f693a7b3 /pkgs/development/python-modules/GitPython | |
| parent | 87b9cceefd8ad04a6189b41032b55aff8233f31a (diff) | |
| parent | be2cba690ce6614768cae065d37ffffb9d4181d7 (diff) | |
Merge pull request #8077 from Ericson2314/agda
Interactive `env` for developing Agda packages, and misc cleanup
Diffstat (limited to 'pkgs/development/python-modules/GitPython')
0 files changed, 0 insertions, 0 deletions