From 90797d930d1a618ef22e94afefa825cd5b18b233 Mon Sep 17 00:00:00 2001 From: Michael Wiebusch Date: Tue, 6 Aug 2013 11:51:10 +0200 Subject: [PATCH] changed default stylesheet --- tools/jtageditor.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/jtageditor.pl b/tools/jtageditor.pl index 43d7ffe..92f41fa 100755 --- a/tools/jtageditor.pl +++ b/tools/jtageditor.pl @@ -495,8 +495,8 @@ sub initPage { JTAG Editor - - + + EOF printJavaScripts(); print <