diff options
| author | Frederik Rietdijk <freddyrietdijk@fridh.nl> | 2018-02-11 07:27:17 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-11 07:27:17 +0000 |
| commit | 35ab6369c6c832a05a506b353f1877ad54a7defb (patch) | |
| tree | b2fb0a77a239e28af682ddb3cca8dcbd58bd374a /pkgs/development/python-modules/httpserver | |
| parent | 55c06e9a7811b13080a4769573cd0d85a3191b66 (diff) | |
| parent | 389a130e6df3ef4e918e1fea7e4026c2584c1290 (diff) | |
Merge pull request #34065 from markuskowa/openmpi3-pr
openmpi: 1.10.7->3.0.0, add markuskowa as maintainer
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions