diff: src/configuration.cpp
src/configuration.cpp
- changeset 933
- f4c80d92e71e
- parent 931
- 85080f7a1c20
- child 941
- f895379d7fab
--- a/src/configuration.cpp Tue Mar 03 17:42:21 2015 +0200 +++ b/src/configuration.cpp Tue Mar 03 21:54:57 2015 +0200 @@ -32,7 +32,7 @@ #include "mainWindow.h" #include "ldDocument.h" #include "glRenderer.h" -#include "configuration.inc" +#include "config.aux" #ifdef _WIN32 # define EXTENSION ".ini"
