diff --git a/root/base.tx b/root/base.tx index 30a1a9bc1a..7489ad20ab 100644 --- a/root/base.tx +++ b/root/base.tx @@ -79,7 +79,7 @@ %% }