diff options
| author | Carsten Burstedde <burstedde@ins.uni-bonn.de> | 2021-07-01 22:50:54 +0200 |
|---|---|---|
| committer | Carsten Burstedde <burstedde@ins.uni-bonn.de> | 2021-07-01 22:57:25 +0200 |
| commit | bcf9629def740946f74e56d0cf0fd1dfd6772d9a (patch) | |
| tree | 736c9f337c9570d75045eef42e279fdbc09f53f0 /pkgs/development/python-modules/rangehttpserver | |
| parent | ce30d367c1427ac39d583daf814f0a23eaf4afd4 (diff) | |
petsc: remove unnecessary configure options
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions