diff options
| author | Vincent Laporte <vbgl@users.noreply.github.com> | 2017-12-11 18:13:24 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-11 18:13:24 +0100 |
| commit | b212125b5418fe181e320dbfefd0efc8e7c2e3d5 (patch) | |
| tree | 2a1d4cd68d9ae5ef8232821c14a73444b9185bb6 /pkgs/development/python-modules/httpserver | |
| parent | 262514a3c78953bb518cbefb995b0de70b315764 (diff) | |
| parent | 464c63e8d49742f23ae0b0cad134c4a10587ece6 (diff) | |
Merge pull request #32250 from vbgl/coq-clean
coq_HEAD, coqPackages_8_4: remove
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions