diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2016-10-04 21:51:39 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2016-10-05 19:09:36 +0200 |
| commit | 7b805bd0b0663613b89c5b9a2f037acdcf46b121 (patch) | |
| tree | feaab5918c7027135462155d750a520b3b2ea2dc /pkgs/development/python-modules/python-sql | |
| parent | 2a2a3c796aa3e339248519ffed099525545f1b5c (diff) | |
ProofGeneral: 4.2 -> 4.4
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions