diff m_config.h @ 8168:ff6a98628e6c

Fix the Gui with NEW_CONFIG
author albeu
date Tue, 12 Nov 2002 12:39:05 +0000
parents 487cfc28525d
children 39444d65c4cb
line wrap: on
line diff
--- a/m_config.h	Tue Nov 12 12:33:56 2002 +0000
+++ b/m_config.h	Tue Nov 12 12:39:05 2002 +0000
@@ -55,6 +55,9 @@
 struct m_option*
 m_config_get_option(m_config_t *config, char* arg);
 
+void
+m_config_print_option_list(m_config_t *config);
+
 /////////////////////////////////////////////////////////////////////////////////////
 /////////////////////////// Backward compat. stuff ////////////////////////////////
 ////////////////////////////////////////////////////////////////////////////////////