47c2d1b7ea
subsumed into files/patch-core_config.py and hence is not needed anymore PR: ports/158751 Submitted by: gustau.perez@gmail.com (maintainer) |
||
---|---|---|
.. | ||
patch-core_config.py |
47c2d1b7ea
subsumed into files/patch-core_config.py and hence is not needed anymore PR: ports/158751 Submitted by: gustau.perez@gmail.com (maintainer) |
||
---|---|---|
.. | ||
patch-core_config.py |