Fix the font pixelsize comparison in the previous commit. "more" should have
obviously been "less".
This commit is contained in:
parent
b5cb3de090
commit
4d65790e49
Notes:
svn2git
2020-12-08 03:00:23 +00:00
svn path=/head/; revision=21992
1 changed files with 1 additions and 1 deletions
|
@ -793,7 +793,7 @@ EndSection</programlisting>
|
|||