diff options
| author | Vincent Laporte <vbgl@users.noreply.github.com> | 2017-12-19 10:15:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-19 10:15:31 +0100 |
| commit | b4551924b183f0f0a34868f76f52ae0bff5d041c (patch) | |
| tree | d5a1401c39010abf13170b995952fb046eba7326 /pkgs/development/python-modules/httpserver | |
| parent | 982cd565cca6b31915442396505d6208ebe9ff81 (diff) | |
| parent | fcb89df11184e4bf9da78b73a232af4ef30db149 (diff) | |
Merge pull request #32737 from vbgl/coq-packages-filter
Tidy up the Coq package sets
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions