diff options
| author | Peter Simons <simons@cryp.to> | 2014-09-19 12:27:55 +0200 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2014-09-19 12:29:07 +0200 |
| commit | 2a54f52b2272245446a2301938a573a3ff6cb220 (patch) | |
| tree | 3e3904b7f42660d3358cce3e4197b74c421356ca /pkgs/development/python-modules/httpserver | |
| parent | 58e233afbe8b1fdc4383c6314175a0ef09008c45 (diff) | |
coq_HEAD: Revert "update to latest Git version"
This reverts commit bf009f87a944a7664a8af340caa5444537400fc1. The update
breaks the build.
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions