Sorry, I found it:
date = date-text / DQUOTE date-text DQUOTE
date-day = 1*2DIGIT ; Day of month
date-day-fixed = (SP DIGIT) / 2DIGIT ; Fixed-format version of date-day
date-month = "Jan" / "Feb" / "Mar" / "Apr" / "May" / "Jun" /
"Jul" / "Aug" / "Sep" / "Oct" / "Nov" / "Dec"
date-text = date-day "-" date-month "-" date-yearIs there a standard way to convert a datetime to this special, format or should I write my own function? -- http://mail.python.org/mailman/listinfo/python-list
