changeset 62886 | 72c475e03e22 |
parent 62875 | 5a0c06491974 |
child 63827 | b24d0e53dd03 |
--- a/etc/options Wed Apr 06 11:50:07 2016 +0200 +++ b/etc/options Wed Apr 06 11:57:21 2016 +0200 @@ -126,9 +126,6 @@ public option ML_system_64 : bool = false -- "ML system for 64bit platform is used if possible (change requires restart)" -option ML_system_bootstrap : bool = false - -- "provide access to low-level ML system structures (unsafe!)" - section "Editor Reactivity"