-
Stefan Behnel authored
Disable the "dotted names not allowed" warning for include files, which may contain arbitrary directory paths and not just plain module names.
a52b16bb
Disable the "dotted names not allowed" warning for include files, which may contain arbitrary directory paths and not just plain module names.