diff options
| author | John Wiegley <johnw@newartisans.com> | 2014-09-09 18:02:32 +0100 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2014-09-09 18:02:32 +0100 |
| commit | bf009f87a944a7664a8af340caa5444537400fc1 (patch) | |
| tree | fea0197a9d240e5c687af4dbc8db5a924a004198 /pkgs/development/python-modules/httpserver | |
| parent | ac724e7bbc3b15ff97d81991a1e28db47bdcbc93 (diff) | |
coq_HEAD: update to latest Git version
In particular, to get the fix for #3585 in the Coq bug tracker
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions