# HG changeset patch
# User wenzelm
# Date 1430487223 -7200
# Node ID 0b7656c5f0e9bf6e4062e860e09cf986acdb2a0a
# Parent  392e5aae334870c3f8ee41885894b47a5fee38ee
tuned;

diff -r 392e5aae3348 -r 0b7656c5f0e9 Admin/Release/build
--- a/Admin/Release/build	Fri May 01 15:18:50 2015 +0200
+++ b/Admin/Release/build	Fri May 01 15:33:43 2015 +0200
@@ -115,7 +115,7 @@
 
 # make bundles
 
-for PLATFORM_FAMILY in linux macos windows
+for PLATFORM_FAMILY in linux windows macos
 do
 
 echo