From 71273d9477b88cca86e6724491c1ea337ee96f05 Mon Sep 17 00:00:00 2001 From: Florian Pritz Date: Wed, 13 Jun 2012 21:27:14 +0200 Subject: switch to pygments - faster than geshi - easier to modify the css because there is only one - geshi upstream seems pretty dead Signed-off-by: Florian Pritz --- application/views/file/html_header.php | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'application/views/file/html_header.php') diff --git a/application/views/file/html_header.php b/application/views/file/html_header.php index 9022f54e0..d933d65d3 100644 --- a/application/views/file/html_header.php +++ b/application/views/file/html_header.php @@ -2,8 +2,10 @@ <?php echo $title; ?> - " /> - " /> + " /> + + " /> +
-- cgit v1.2.3-24-g4f1b