3 Commits

Author	SHA1	Message	Date
Johann Bauer	201589b1a9	Make build timezone independent	2017-11-29 23:09:59 +01:00
ThomasV	5158799689	fix windows build script: pushd and popd require bash	2017-11-29 06:52:12 +01:00
Johann Bauer	5778102acc	Add script for deterministic builds	2017-11-28 00:32:38 +01:00