diff options
| author | Franz Pletz <fpletz@fnordicwalking.de> | 2017-07-20 19:36:50 +0200 |
|---|---|---|
| committer | Franz Pletz <fpletz@fnordicwalking.de> | 2017-07-20 19:36:50 +0200 |
| commit | e69dfc252a35753ce96aecfcfbf5281eb14d5eec (patch) | |
| tree | 341392abb5a702f57c2365994375f636d0a920c9 /pkgs/development/python-modules/httpserver | |
| parent | 3e8a565a04cef3a40dc7b1c29e464a1fc6e00232 (diff) | |
Revert "coq2html: New expression"
This reverts commit 31437ccf7a1ee6cf1b7ead988f3bd38647b1ff02.
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions