# Global color definition
#
#39dff7
ffffff
00000000
80CCF8
68A4C8
008dfd
008dfd
1014e8
# Page footer
#
© Infodrom Oldenburg, <:
@months =
# ("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");
("Dummy", "Januar","Februar","März","April","Mai","Juni","Juli","August","September","Oktober","November","Dezember");
#($date_sec,$date_min,$date_hour,$date_mday,$date_mon,$date_year,$date_wday,$date_isdst)
# = localtime(); $date_year += 1900;
#printf "%d %s %d", $date_mday, $months[$date_mon], $date_year;
"" =~ /^(\d+)-(\d+)-(\d+)\s/;
printf "Last modified: %d. %s %d", $1, $months[$2], $3;
:>