diff options
| author | Thomas Tuegel <thomas.tuegel@runtimeverification.com> | 2020-09-05 15:41:07 -0500 |
|---|---|---|
| committer | Thomas Tuegel <thomas.tuegel@runtimeverification.com> | 2020-09-07 08:05:33 -0500 |
| commit | ef97866598b6dbf57730f36af20551e995f91ec7 (patch) | |
| tree | 08a2c97dbba0033cbb98c67dc99ee8121b446078 /pkgs/development/python-modules/httpserver | |
| parent | cedb5ff8a3b7c124d3ed645e561c3ffe9fe41e55 (diff) | |
minizincide: use qt514
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions