/make/scripts/ jdk-12+23
drwxr-xr-x [up]
-rw-r--r-- 2018-12-05 09:34 -0500 1731 addNotices.sh
-rw-r--r-- 2018-12-05 09:34 -0500 62772 compare.sh
-rw-r--r-- 2018-12-05 09:34 -0500 2540 compare_exceptions.sh.incl
-rw-r--r-- 2018-12-05 09:34 -0500 2416 genExceptions.sh
-rw-r--r-- 2018-12-05 09:34 -0500 1657 hide_important_warnings_from_javac.sh
-rw-r--r-- 2018-12-05 09:34 -0500 7620 lic_check.sh
-rw-r--r-- 2018-12-05 09:34 -0500 2064 logger.sh
-rw-r--r-- 2018-12-05 09:34 -0500 4708 normalizer.pl
-rw-r--r-- 2018-12-05 09:34 -0500 4551 pandoc-manpage-filter.js
-rw-r--r-- 2018-12-05 09:34 -0500 1232 pandoc-manpage-filter.sh.template
-rw-r--r-- 2018-12-05 09:34 -0500 2548 shell-profiler.sh
-rw-r--r-- 2018-12-05 09:34 -0500 6144 update_copyright_year.sh