mirror of
https://dev.iopsys.eu/feed/iopsys.git
synced 2025-12-10 07:44:50 +01:00
This makes an extra check to see that option we want set is actually in the final config. |
||
|---|---|---|
| .. | ||
| scripts | ||
| config | ||
| iop.completion | ||
| Makefile | ||