From: Michael Wiebusch Date: Tue, 11 Aug 2015 12:58:36 +0000 (+0200) Subject: cosmetics, renaming X-Git-Url: https://jspc29.x-matter.uni-frankfurt.de/git/?a=commitdiff_plain;h=b4fd90a1611cad8dc416f5bfc50071139cc5cd5d;p=coral.git cosmetics, renaming --- diff --git a/user_interface/selector.html b/user_interface/analysis.html similarity index 98% rename from user_interface/selector.html rename to user_interface/analysis.html index 8406467..31d749c 100644 --- a/user_interface/selector.html +++ b/user_interface/analysis.html @@ -6,7 +6,7 @@ - + diff --git a/user_interface/selector.js b/user_interface/analysis.js similarity index 100% rename from user_interface/selector.js rename to user_interface/analysis.js diff --git a/user_interface/coral_scanner.pm b/user_interface/coral_scanner.pm index 350556b..e31977a 100644 --- a/user_interface/coral_scanner.pm +++ b/user_interface/coral_scanner.pm @@ -148,6 +148,8 @@ sub main_html { >"; print ""; + print ""; print br; print hr; print br;