From 1ca18b215f38ac74cf5b20dbfcc7356acb10ed54 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Bj=C3=B6rn=20Lindqvist?= Date: Mon, 5 Aug 2013 13:31:29 +0200 Subject: [PATCH] html.parser.printer: remove printer symbol --- extra/html/parser/printer/printer.factor | 2 -- 1 file changed, 2 deletions(-) diff --git a/extra/html/parser/printer/printer.factor b/extra/html/parser/printer/printer.factor index f5fa7482ef..237a0be312 100644 --- a/extra/html/parser/printer/printer.factor +++ b/extra/html/parser/printer/printer.factor @@ -5,8 +5,6 @@ namespaces prettyprint quotations sequences sequences.repeating splitting strings unicode.categories ; IN: html.parser.printer -SYMBOL: printer - TUPLE: html-printer ; TUPLE: text-printer < html-printer ; TUPLE: src-printer < html-printer ; -- 2.34.1