Rename "build options" to "additional options", so we can put non-build related options there too. |
||
---|---|---|
.. | ||
__init__.py | ||
init.py | ||
load.py | ||
merge_with_args.py | ||
pmaports.py | ||
save.py | ||
workdir.py |
Rename "build options" to "additional options", so we can put non-build related options there too. |
||
---|---|---|
.. | ||
__init__.py | ||
init.py | ||
load.py | ||
merge_with_args.py | ||
pmaports.py | ||
save.py | ||
workdir.py |