diff options
| author | Joachim F <joachifm@users.noreply.github.com> | 2017-05-21 22:45:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-21 22:45:47 +0100 |
| commit | 3ba63d0b05ddc4f92626a9169cc7dd8b22d12fc9 (patch) | |
| tree | 22df99a3e8b43a3ed25075292760e7c2298c081f /pkgs/development/python-modules/python-sql | |
| parent | 1bfafdfe65df5d6061e7cb5e627d718ae3ae2c98 (diff) | |
| parent | eaef55f69976f84dc16297f9f011984eb20c8b26 (diff) | |
Merge pull request #25905 from Ptival/proofgeneral-head
proofgeneral_HEAD: fix
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions