Zmiana rozmiaru czcionki w edytorze. Closes #16.
[redakcja.git] / lib /
drwxr-xr-x   ..
-rw-r--r-- 5691 hg.py