From 74c38518ca4729049b71bafd922831b8f4f6f8a7 Mon Sep 17 00:00:00 2001 From: totoro Date: Sun, 2 Aug 2026 15:46:35 +0900 Subject: [PATCH] remove HTML_In_Form from awesome since the type HTML_Off_Form and the type HTML_In_Form was unified as HTML type. --- web/fonts/awesome.anubis | 47 ----------------------------------------------- 1 file changed, 0 insertions(+), 47 deletions(-) diff --git a/web/fonts/awesome.anubis b/web/fonts/awesome.anubis index 6af68cd..3fcfff2 100644 --- a/web/fonts/awesome.anubis +++ b/web/fonts/awesome.anubis @@ -62,50 +62,3 @@ public define HTML )= to_HTML(fa, [], "") . - -//public define HTML_In_Form -// to_HTML -// ( -// Font_Awesome fa, -// List(CoreAttrs) attrs, -// String text -// )= -// since fa is awesome(code), -// i([class("fa fa-"+code), attr("aria-hidden", "true")]+attrs, text) -//. - -//public define HTML_In_Form -// to_HTML -// ( -// Font_Awesome fa, -// List(CoreAttrs) attrs -// )= -// to_HTML(fa, attrs, "") -//. -// -//public define HTML_In_Form -// to_HTML -// ( -// Font_Awesome fa, -// CoreAttrs attr -// )= -// to_HTML(fa, [attr], "") -//. -// -// -//public define HTML_In_Form -// to_HTML -// ( -// Font_Awesome fa, -// String text -// )= -// to_HTML(fa, [], text) -//. -// -//public define HTML_In_Form -// to_HTML -// ( -// Font_Awesome fa -// )= -// to_HTML(fa, [], "") -//. -- libgit2 0.21.4