summaryrefslogtreecommitdiff
path: root/htroot/js
diff options
context:
space:
mode:
authorluccioman <luccioman@users.noreply.github.com>2016-06-03 22:07:45 +0200
committerluccioman <luccioman@users.noreply.github.com>2016-06-03 22:07:45 +0200
commit02ecb8de2969dfe7a0d910804ea5123508fc37a6 (patch)
treec87792ef81530a9263402ce1137e3a0c751abc94 /htroot/js
parent1dcb9c515881b5d7ff8f75928e3d7c7967c78238 (diff)
Added JavaScript license information
First pass applied for YaCy index and administration first page, checked with LibreJS 6.0.13.
Diffstat (limited to 'htroot/js')
-rw-r--r--htroot/js/html.js30
1 files changed, 29 insertions, 1 deletions
diff --git a/htroot/js/html.js b/htroot/js/html.js
index a38ebf610..360082a64 100644
--- a/htroot/js/html.js
+++ b/htroot/js/html.js
@@ -1,3 +1,31 @@
+/**
+ *
+ * @licstart The following is the entire license notice for the
+ * JavaScript code in this page.
+ *
+ * Copyright (C) 2009 by Michael Peter Christen; mc@yacy.net, Frankfurt a. M., Germany
+ * first published 07.04.2005 on http://yacy.net
+ *
+ *
+ * The JavaScript code in this page is free software: you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation; either version 2
+ * of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
+ *
+ * @licend The above is the entire license notice
+ * for the JavaScript code in this page.
+ *
+ */
+
function createCol(content){
col=document.createElement("td");
text=document.createTextNode(content);
@@ -46,4 +74,4 @@ function hide(id) {
function show(id) {
document.getElementById(id).style.display = "inline";
-}
+} \ No newline at end of file