/make/scripts/
drwxr-xr-x [up]
-rw-r--r-- 2018-07-20 09:33 +0200 1731 addNotices.sh
-rw-r--r-- 2018-07-20 09:33 +0200 60516 compare.sh
-rw-r--r-- 2018-07-20 09:33 +0200 15495 compare_exceptions.sh.incl
-rw-r--r-- 2018-07-20 09:33 +0200 2416 genExceptions.sh
-rw-r--r-- 2018-07-20 09:33 +0200 1657 hide_important_warnings_from_javac.sh
-rw-r--r-- 2018-07-20 09:33 +0200 7620 lic_check.sh
-rw-r--r-- 2018-07-20 09:33 +0200 2064 logger.sh
-rw-r--r-- 2018-07-20 09:33 +0200 4708 normalizer.pl
-rw-r--r-- 2018-07-20 09:33 +0200 2548 shell-profiler.sh
-rw-r--r-- 2018-07-20 09:33 +0200 6128 update_copyright_year.sh