diff --git a/builtins/safe-default-configuration.txt b/builtins/safe-default-configuration.txt index 1cc57db..6043ba6 100644 --- a/builtins/safe-default-configuration.txt +++ b/builtins/safe-default-configuration.txt @@ -230,9 +230,4 @@ math semantics - mathcolor - mathsize - scriptlevel -- encoding -- display -- linethickness -- intent -- arg