diff options
| author | Orivej Desh <orivej@gmx.fr> | 2017-10-02 12:57:58 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-02 12:57:58 +0000 |
| commit | f72e323388ae8e654fd87ce4e1e2a15861efe1a8 (patch) | |
| tree | 80af571ec6d418ec2b3a5774cbcb7ae7d03e3b86 /pkgs/development/python-modules/python-sql | |
| parent | 5af263c2af4db18e2cc40d0940fad1ddd149fbc5 (diff) | |
| parent | 2ba02c57e82651a8cfa9fcbe850b672787ca5b41 (diff) | |
Merge pull request #29818 from unaizalakain/update-agda-stdlib
AgdaStdlib: 0.13 -> 0.14
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions