/make/scripts/
drwxr-xr-x [up]
-rw-r--r-- 2019-11-01 06:04 -0400 1731 addNotices.sh
-rw-r--r-- 2019-11-01 06:04 -0400 62695 compare.sh
-rw-r--r-- 2019-11-01 06:04 -0400 2804 compare_exceptions.sh.incl
-rw-r--r-- 2019-11-01 06:04 -0400 2436 genExceptions.sh
-rw-r--r-- 2019-11-01 06:04 -0400 4412 generate-symbol-data.sh
-rw-r--r-- 2019-11-01 06:04 -0400 1657 hide_important_warnings_from_javac.sh
-rw-r--r-- 2019-11-01 06:04 -0400 7620 lic_check.sh
-rw-r--r-- 2019-11-01 06:04 -0400 2064 logger.sh
-rw-r--r-- 2019-11-01 06:04 -0400 4708 normalizer.pl
-rw-r--r-- 2019-11-01 06:04 -0400 3866 pandoc-html-manpage-filter.js
-rw-r--r-- 2019-11-01 06:04 -0400 1237 pandoc-html-manpage-filter.sh.template
-rw-r--r-- 2019-11-01 06:04 -0400 4551 pandoc-troff-manpage-filter.js
-rw-r--r-- 2019-11-01 06:04 -0400 1238 pandoc-troff-manpage-filter.sh.template
-rw-r--r-- 2019-11-01 06:04 -0400 2548 shell-profiler.sh
-rw-r--r-- 2019-11-01 06:04 -0400 6144 update_copyright_year.sh
-rw-r--r-- 2019-11-01 06:04 -0400 1107 windowsShortName.bat