# HG changeset patch
# User wenzelm
# Date 1679838460 -7200
# Node ID 27dd3a3fcc54933d1676ec6caaa3ee894599c6d6
# Parent  be0b9396604ef58bee5e45cff406ac74864e84d7
removed junk (amending 236e43c8bb5b);

diff -r be0b9396604e -r 27dd3a3fcc54 etc/options
--- a/etc/options	Sun Mar 26 15:02:08 2023 +0200
+++ b/etc/options	Sun Mar 26 15:47:40 2023 +0200
@@ -168,7 +168,7 @@
 public option ML_system_64 : bool = false for build
   -- "prefer native 64bit platform (change requires restart)"
 
-public option ML_system_apple : bool = true for build#
+public option ML_system_apple : bool = true for build
   -- "prefer native Apple/ARM64 platform (change requires restart)"