From 0bc129406a7270d0072c37e2ba0ff374f5db010d Mon Sep 17 00:00:00 2001
From: Daniel Vogelheim <vogelheim@chromium.org>
Date: Wed, 15 Jan 2025 17:24:27 +0100
Subject: [PATCH] Review feedback

---
 builtins/safe-default-configuration.txt | 5 -----
 1 file changed, 5 deletions(-)

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