diff options
| author | Michael Raskin <7c6f434c@mail.ru> | 2019-01-22 16:50:30 +0100 |
|---|---|---|
| committer | Michael Raskin <7c6f434c@mail.ru> | 2019-01-22 16:51:18 +0100 |
| commit | ebb370f6800c4d595fccbe1cbbf327407182bb62 (patch) | |
| tree | 042c1b9994cf58d9b3e7cefffa492d6e280bc324 /pkgs/development/python-modules/GitPython | |
| parent | f3e23488051556859b02f30d824dd741b127100b (diff) | |
z3-tptp: init
Z3 ships a TPTP-supporting wrapper as an example; allow building it
Diffstat (limited to 'pkgs/development/python-modules/GitPython')
0 files changed, 0 insertions, 0 deletions