From 37a7e60429a4ff843951a71051cec31486b29220 Mon Sep 17 00:00:00 2001
From: totoro <david.rene@rack-matrix.com>
Date: Sun, 10 May 2026 13:39:05 +0900
Subject: [PATCH] [~] remove the empty HTML core attribute. It's no need anymore since we made many helper function to let have HTML tag without attribute

---
 web/types/making_a_web_site.anubis | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/types/making_a_web_site.anubis b/web/types/making_a_web_site.anubis
index d0e9e59..91ea121 100644
--- a/web/types/making_a_web_site.anubis
+++ b/web/types/making_a_web_site.anubis
@@ -641,7 +641,7 @@ public type HTML_tooltip:
 
 
 public type CoreAttrs:
-  empty,
+  //empty,
   id        (String),                   //A unique identifier for the element.
                                         //There must not be multiple elements in a document that have the same id value.
   class     (String),                   //A name of a classification, or list of names of classifications, to which the element belongs
--
libgit2 0.21.4