/make/scripts/
drwxr-xr-x [up]
-rw-r--r-- 2017-07-05 18:54 +0200 5500 fixpath.pl
-rw-r--r-- 2017-07-05 18:54 +0200 4421 hgforest.sh
-rw-r--r-- 2017-07-05 18:54 +0200 7620 lic_check.sh
-rw-r--r-- 2017-07-05 18:54 +0200 4790 normalizer.pl
-rw-r--r-- 2017-07-05 18:54 +0200 6129 update_copyright_year.sh
-rw-r--r-- 2017-07-05 18:54 +0200 17259 vsvars.sh
-rw-r--r-- 2017-07-05 18:54 +0200 81105 webrev.ksh