diff options
| author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2017-05-23 06:33:58 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-23 06:33:58 +0100 |
| commit | 51930ce432a7e35110dd1d43cddf53d9ab0b72a4 (patch) | |
| tree | 5f93ad8cfc0c3394883e6cac209a6ea7e17df256 /pkgs/development/python-modules/httpserver | |
| parent | 38625a8b1e67c2b4dc10b1c3f2ac5be5732e3c51 (diff) | |
| parent | 61def1ef1e225dbd122250063feda6adde518713 (diff) | |
Merge pull request #26011 from disassembler/minisat-unstable
minisat: fix maintainer
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions