tree 855abc6164e686e60573533e5b327ec2d1459a1d
parent 9b78891a6edd6135213fdc344323aa84defdc080
author Zesstra <zesstra@zesstra.de> 1620468373 +0200
committer MG Mud User <mud@mg.mud.de> 1620468373 +0200

Warnungen fuer ausgew. Verzeichnisse nicht abschalten.

Fuer einige explizit konfigurierte Top-Level-Verzeichnisse sollen
eingeschaltete Pragmas auch fuer alte Files nicht ausgeschaltet
werden.

Change-Id: I5cbf08309feb6c7b4939492fe369ceb414c47429