Enable document
pool: Enabled by default
Unterhalb der *.prj- und *.def-Dateien wird
ein Poolverzeichnis angelegt.
Pool name: "_pool"
[default]
Pool levels: 3 [default]
Relevant, wenn Dateien neben dem Projekt
liegen und viele Projekte sich auf derselben Ebene im Dateisystem
befinden.
