diff options
| author | Graham Christensen <graham@grahamc.com> | 2016-10-08 09:00:11 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-08 09:00:11 -0400 |
| commit | 034ba88850fb36d93ba42b2b1ddef6f2b16bd86e (patch) | |
| tree | 13ceed8ecde39406852f21add84d280e5035737e /pkgs/development/python-modules/python-sql | |
| parent | a72dd11b3e79760eac8930b9cc91ed2474e27f61 (diff) | |
| parent | 4e60f99b838d8d72a67ca5e990e79cad76772450 (diff) | |
Merge pull request #19267 from vbgl/proofgeneral-4.4
ProofGeneral: 4.2 -> 4.4
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions