From 1b0a02193dc31e23be635408ea516608125b16dc Mon Sep 17 00:00:00 2001 From: Yihui Xie Date: Mon, 15 Jul 2013 00:42:07 -0700 Subject: [PATCH] remove a no longer used object --- R/highlight.R | 2 -- 1 file changed, 2 deletions(-) diff --git a/R/highlight.R b/R/highlight.R index 7d8df81014..3454ba7683 100644 --- a/R/highlight.R +++ b/R/highlight.R @@ -51,8 +51,6 @@ hilight_fun = function(name) { getFromNamespace(name, 'highr') } -.default.css = css.parser(.default.sty) - hilight_source = function(x, format, options) { if (!((format %in% c('latex', 'html')) && options$highlight)) return(if (options$prompt) line_prompt(x) else x)