Add all the default-on extensions to build.global-db.bat (#587)
[hadrian.git] / build.global-db.bat
2018-04-27  Neil MitchellAdd all the default-on extensions to build.global-db...
2017-10-23  Andrey MokhovMake build.bat call the default build script on Windows...