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