2df420a43c0053fa3224689daa1737dbf9aed954
-rw-r--r-- 73 .gitignore
-rwxr-xr-x 904 check-unicode.sh
-rw-r--r-- 2219 jjb-autoupdate-project.py
-rw-r--r-- 7841 jjb-init-project.py
-rw-r--r-- 3573 jjblib.py
-rwxr-xr-x 2251 odlrelease
-rwxr-xr-x 938 rename-jobs.sh