changeset: 915:3c5728d056be tag: tip user: Mikko VirkkilÀ date: Mon Jul 03 14:06:01 2006 +0300 summary: Fix unescaped dot changeset: 913:62a67c72ca60 user: Alexander Schremmer date: Sat Jul 01 15:39:59 2006 +0200 summary: Merged newest htmlmarkup.py changes from upstream (trac).