Ponowne dodanie możliwości zmieniania wielkości paneli. Tym razem działa dużo lepiej...
[redakcja.git] / lib /
drwxr-xr-x   ..
-rw-r--r-- 3758 hg.py