diff options
| author | John Wiegley <johnw@newartisans.com> | 2017-10-20 16:29:00 -0700 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2017-10-22 12:43:27 -0700 |
| commit | 89720d851aafe7be2aafc129fd729941a4db18af (patch) | |
| tree | f2d770c5e0cef7b99dc506f33a11a3ec33496c9c /pkgs/development/python-modules/python-sql | |
| parent | 4333b94ae58751123780fcc239fdf7599b7121dc (diff) | |
coqPackages_8_7: New expression, but don't make it the default yet
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions