--- 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 =