diff options
| author | John Wiegley <johnw@newartisans.com> | 2017-12-22 10:06:12 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-22 10:06:12 -0800 |
| commit | 25ef9fa8756108fc2a6dc015c93717ea0106ebdc (patch) | |
| tree | 043752b5b40692c3b900e180f2f73b6610c291bd /pkgs/development/python-modules/httpserver | |
| parent | 5e8a0786b0565f4941dbd836550eabfc7c8fa3f3 (diff) | |
| parent | 24474528e42acedb96e5464a3270ce1c07e18a8a (diff) | |
Merge pull request #32985 from vbgl/coq-contribs-recurse
coqPackages.contribs: recurse into the nested set
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions