**/*~
**/*.pyc
.idea
.DS_Store
.vscode
build/**
nbproject/
/resources/log4cplus-1.1.1/include/log4cplus/config/defines.hxx.cmake
/resources/log4cplus-1.1.1/include/log4cplus/config/defines.hxx
**/config.h
**/CompileInfo.cpp
**/CMakeOptions.cpp
**/CMakeOptions.h
/src/carl/config.h
/src/carl/thom/todos
/src/carl/thom/todo
