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

#ifndef __SETTINGS_MANAGER_H
#define __SETTINGS_MANAGER_H

#include <dolfin/Settings.h>

namespace dolfin {
  
  class SettingsManager {
  public:
    
    static Settings settings;
    
  };
  
}

#endif
