From 1d828b7ee2f9a451e315c6c253373fa709b1a024 Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Mon, 6 Jul 2015 23:42:51 -0400 Subject: [PATCH] LibreJS license header for doc/interactive.js --- doc/interactive.js | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/doc/interactive.js b/doc/interactive.js index 2f9a56d..795dc4c 100644 --- a/doc/interactive.js +++ b/doc/interactive.js @@ -1,5 +1,26 @@ /** * Makes HTML documentation interactive + * + * @licstart The following is the entire license notice for the JavaScript + * code in this page. + * + * Copyright (C) 2011 Free Software Foundation, Inc. + * + * This program 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 3 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, see . + * + * @licend The above is the entire license notice for the JavaScript code + * in this page. */ var head = document.getElementsByTagName( 'head' )[ 0 ],