config/Config*: rename files, drop "Config" prefix

2018-07-16 19:50:07 +02:00
parent bf5f12a51f
commit 816603fd9a
65 changed files with 98 additions and 98 deletions
--- a/src/Permission.cxx
+++ b/src/Permission.cxx
@@ -20,8 +20,8 @@
 #include "config.h"
 #include "Permission.hxx"
 #include "config/Param.hxx"
-#include "config/ConfigGlobal.hxx"
-#include "config/ConfigOption.hxx"
+#include "config/Global.hxx"
+#include "config/Option.hxx"
 #include "util/RuntimeError.hxx"

 #include <algorithm>