// Copyright (C) 2003 Johan Hoffman and Anders Logg.
// Licensed under the GNU GPL Version 2.

#include <dolfin/SettingsManager.h>

// Initialise static data
dolfin::Settings dolfin::SettingsManager::settings;
