etc/options
changeset 77715 27dd3a3fcc54
parent 77709 53dc388b98ec
child 78018 dfa44d85d751
--- 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)"