diff options
| author | John Wiegley <johnw@newartisans.com> | 2016-12-13 08:06:48 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2016-12-13 08:09:23 -0800 |
| commit | 62934023c3ece9c6339816dd0d8e7cfe0995e0a9 (patch) | |
| tree | a21398c2858332269b8da8a1a6bf10e11206df64 /pkgs/development/python-modules/python-sql | |
| parent | 6b89121c209c6aa44ef0268ed9462ed89f585393 (diff) | |
coq_HEAD: Update to the latest commit as of 2016-12-13
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions
