# HG changeset patch
# User wenzelm
# Date 1508834603 -7200
# Node ID 20d61ffa986779f6207e7319f9e8cf2d602b8fd4
# Parent  9eaa9504991bf4e8a413683d82431d318353e5d0
tuned output;

diff -r 9eaa9504991b -r 20d61ffa9867 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Mon Oct 23 20:56:59 2017 +0200
+++ b/src/Pure/Admin/build_release.scala	Tue Oct 24 10:43:23 2017 +0200
@@ -28,7 +28,7 @@
   {
     val bundle_infos: List[Bundle_Info] =
       List(Bundle_Info("linux", "Linux", name + "_app.tar.gz", None),
-        Bundle_Info("windows", "Windows (64bit)", name + ".exe", None),
+        Bundle_Info("windows", "Windows", name + ".exe", None),
         Bundle_Info("macos", "Mac OS X", name + ".dmg", Some(name + "_dmg.tar.gz")))
 
     def bundle_info(platform_family: String): Bundle_Info =