diff options
| author | Dimitri van Heesch <dimitri@stack.nl> | 2003-01-06 20:54:16 (GMT) |
|---|---|---|
| committer | Dimitri van Heesch <dimitri@stack.nl> | 2003-01-06 20:54:16 (GMT) |
| commit | f781e6dbbaa51edbdbe9b5906be9962968d0ee68 (patch) | |
| tree | b008f56412d0734ea397eb4492ddd66c08677dff /src/config.h | |
| parent | dfa656f3404e589ad59c47dc1728744efb245a82 (diff) | |
| download | Doxygen-f781e6dbbaa51edbdbe9b5906be9962968d0ee68.zip Doxygen-f781e6dbbaa51edbdbe9b5906be9962968d0ee68.tar.gz Doxygen-f781e6dbbaa51edbdbe9b5906be9962968d0ee68.tar.bz2 | |
Release-1.3-rc2-20030106
Diffstat (limited to 'src/config.h')
| -rw-r--r-- | src/config.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/config.h b/src/config.h index 4b00d22..4780c95 100644 --- a/src/config.h +++ b/src/config.h @@ -338,6 +338,11 @@ class Config if (m_instance==0) m_instance = new Config; return m_instance; } + /*! Delete the instance */ + static void deleteInstance() + { + delete m_instance; + } /*! Returns an iterator that can by used to iterate over the * configuration options. |