directory /make/scripts/ @ 54961:d04f72c354e9

name size permissions
[up] drwxr-xr-x
file addNotices.sh 1731 -rw-r--r--
file compare.sh 65743 -rw-r--r--
file compare_exceptions.sh.incl 2540 -rw-r--r--
file genExceptions.sh 2416 -rw-r--r--
file generate-symbol-data.sh 4412 -rw-r--r--
file hide_important_warnings_from_javac.sh 1657 -rw-r--r--
file lic_check.sh 7620 -rw-r--r--
file logger.sh 2064 -rw-r--r--
file normalizer.pl 4708 -rw-r--r--
file pandoc-html-manpage-filter.js 3866 -rw-r--r--
file pandoc-html-manpage-filter.sh.template 1237 -rw-r--r--
file pandoc-troff-manpage-filter.js 4551 -rw-r--r--
file pandoc-troff-manpage-filter.sh.template 1238 -rw-r--r--
file shell-profiler.sh 2548 -rw-r--r--
file update_copyright_year.sh 6144 -rw-r--r--
file windowsShortName.bat 1107 -rw-r--r--