From 816b74acd5396ef095e57909305881c6094e1dce Mon Sep 17 00:00:00 2001
From: Johannes Hofmann <Johannes.Hofmann@gmx.de>
Date: Sat, 3 Jan 2009 22:51:31 +0100
Subject: remove a_Html_set_top_font() which is no longer used

---
 src/html_common.hh | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/html_common.hh')

diff --git a/src/html_common.hh b/src/html_common.hh
index fb470c27..aaab4861 100644
--- a/src/html_common.hh
+++ b/src/html_common.hh
@@ -273,7 +273,5 @@ void a_Html_tag_set_align_attr(DilloHtml *html, CssPropertyList *props,
 bool a_Html_tag_set_valign_attr(DilloHtml *html,
                                 const char *tag, int tagsize,
                                 CssPropertyList *props);
-void a_Html_set_top_font(DilloHtml *html, const char *name, int size,
-                         int BI, int BImask);
 
 #endif /* __HTML_COMMON_HH__ */
-- 
cgit v1.2.3