/patch-compiler-Makefile/1.2/Sun Sep 10 02:36:08 2017//
/patch-browser-Makefile.shared/1.3/Sat Jun  4 01:01:07 2022//
/patch-lib-Makefile/1.2/Sat Jun  4 01:01:07 2022//
/patch-support-Makefile/1.1/Fri Jun  3 08:51:22 2022//
D