diff options
| author | Pascal Wittmann <PascalWittmann@gmx.net> | 2017-02-07 10:21:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-07 10:21:35 +0100 |
| commit | d099c1b96d07beadee09be5ca47659ee47701942 (patch) | |
| tree | 92d995f3a620f7c49036ac10fb412a48dddfef09 /pkgs/development/python-modules/python-sql | |
| parent | 04a128540d88b9879cb2b26ac57847d02888b622 (diff) | |
| parent | aeaf893e5733cb333256cb46f3925d69be103e38 (diff) | |
Merge pull request #22507 from layus/dafny-update
Add dafny; fixup Boogie
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions