Added omit_date_from_save_files to Config_Option_Changer plugin

nickgammon · Apr 20, 2014 · de7c9d6 · de7c9d6
1 parent 480dbbb
commit de7c9d6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/plugins/Config_Option_Changer.xml b/plugins/Config_Option_Changer.xml
@@ -67,6 +67,7 @@ boolean_options = {
   do_not_show_outstanding_lines         = { desc = 'Show outstanding lines count?' , invert = true  },
   do_not_translate_iac_to_iac_iac       = { desc = 'Translate IAC to IAC IAC?' , invert = true  },
   log_script_errors                     = { desc = 'Log scripting errors?' },
+  omit_date_from_save_files             = { desc = 'Omit the date from world file saves?' },
   play_sounds_in_background             = { desc = 'Play sounds in background?' },
   send_keep_alives                      = { desc = 'Send keep-alives?' },
   wrap_input                            = { desc = 'Wrap command window at output wrap column' },