DFTI settings manager implementation. More...
#include "settings.hh"
DFTI settings manager implementation.