summaryrefslogtreecommitdiff
path: root/pkgs/development/python-modules/httpserver
diff options
context:
space:
mode:
authorVincent Laporte <Vincent.Laporte@gmail.com>2017-12-02 08:53:14 +0000
committerVincent Laporte <Vincent.Laporte@gmail.com>2017-12-02 08:53:14 +0000
commit48aa378780ebe2cb17f3f4cc9052e390cb830414 (patch)
treecbad7f0573a4225790a0d738766774548b9fb478 /pkgs/development/python-modules/httpserver
parente8a316f17fb1ff639557a5661d1954731627cc14 (diff)
coqPackages_8_4.ynot: remove
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions