Skip to content
Snippets Groups Projects
user avatar
Andreas Gohr authored
This changes the greek letters in the char picker from the more correct
mathematical symbols back to the "normal" ones covered in more fonts.

It also adds a few common chars used in wiki markup. This is handy when
having to edit a page from a foreign computer with an unknown charmap
(ie. a PC user at a Apple keyboard ;-))

darcs-hash:20090112190254-7ad00-81596ef2f56a7f2bdbe2cb812d9defaad1f4396a.gz
03c89b24
History
Name Last commit Last update