ping server every 10 minutes
[redakcja.git] / scripts /
drwxr-xr-x   ..
-rw-r--r-- 1159 crop.py
-rw-r--r-- 109 dump_toolbar.sh
-rw-r--r-- 3025 imgconv.py
-rw-r--r-- 394 rip-themes-from-redmine.py