summaryrefslogtreecommitdiff
path: root/misc/lemmfont2.gif
Commit message (Expand)AuthorAgeFilesLines
* Ajout d'une police de taille 2 fois plus petite que l'originale, pour des deb...Ludovic Pouzenc2010-12-121-0/+0