diff options
| author | Michiel Derhaeg <derhaeg.michiel@gmail.com> | 2018-04-25 23:54:57 +0200 |
|---|---|---|
| committer | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-04-25 22:54:57 +0100 |
| commit | 189a4f3656d0a13e86091654a615c21b1e9031ec (patch) | |
| tree | fa8b0ed7e336d6229cb7cf46fcf626f932ce9540 /pkgs/development/python-modules/httpserver | |
| parent | e15b2ed91743369a131c222af15309bdcb2b002f (diff) | |
verifast: 14.5 -> 18.02 (#39480)
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions