merge trunk

[[Imported from SVN: r6903]]

merge trunk
ed7aec16 · Martin Nolte · 3d3b32cb · ed7aec16
Commit ed7aec16 authored 12 years ago by Martin Nolte
--- a/dune/common/parametertree.hh
+++ b/dune/common/parametertree.hh
@@ -38,6 +38,8 @@ namespace Dune {

  public:

+    /** \brief storage for key lists
+     */
    typedef std::vector<std::string> KeyVector;

    /** \brief Create new empty ParameterTree