improve -of13 switching in distributions/base (BUG 802)
-rw-r--r-- 233 .gitignore
drwxr-xr-x - distributions
-rw-r--r-- 2846 pom.xml