Make date/time format user configurable; drop 'date_today' config option

thomascube

2011-09-12 1cc9e210f5cb340599062ae9cee15cdc9ebd77a7

 program/localization/de_CH/labels.inc

@@ -296,6 +296,8 @@
$labels['preferhtml'] = 'HTML bevorzugen';
$labels['defaultcharset'] = 'Standard-Zeichensatz';
$labels['htmlmessage'] = 'HTML Nachricht';
$labels['dateformat'] = 'Datumsformat';
$labels['timeformat'] = 'Zeitformat';
$labels['prettydate'] = 'Kurze Datumsanzeige';
$labels['setdefault'] = 'Als Standard';
$labels['autodetect'] = 'Automatisch';