Fixes #759: go back to history when closing diff
[redakcja.git] / scripts /
drwxr-xr-x   ..
-rwxr-xr-x 1159 crop.py
-rw-r--r-- 109 dump_toolbar.sh
-rwxr-xr-x 3025 imgconv.py
-rwxr-xr-x 394 rip-themes-from-redmine.py