Editor update - editor now builds with its own copy of ace.js
[redakcja.git] / scripts /
drwxr-xr-x   ..
-rwxr-xr-x 1159 crop.py
-rw-r--r-- 109 dump_toolbar.sh
-rwxr-xr-x 2195 fix_pd.py
-rwxr-xr-x 3025 imgconv.py
-rw-r--r-- 14275 merge.sh
-rw-r--r-- 954 once_delete_unneeded.py
-rwxr-xr-x 394 rip-themes-from-redmine.py
-rwxr-xr-x 641 tiff2png