commit a51e9681ba3793a39a79c0b1703e01d2bd937d3c
parent 96c16988a8823605bcf0c7fc6e22301fdfbe8381
Author: Christian Grothoff <christian@grothoff.org>
Date: Sat, 14 Mar 2015 17:09:28 +0100
libre JS annotations
Diffstat:
2 files changed, 30 insertions(+), 0 deletions(-)
diff --git a/common/header.inc b/common/header.inc
@@ -1,3 +1,29 @@
+ <script>
+ /*
+ @licstart The following is the entire license notice for the
+ JavaScript code in this page.
+
+ Copyright (C) 2014,2015 GNUnet e.V.
+
+ 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 (GNU GPL) as published by the Free Software
+ Foundation, either version 3 of the License, or (at your option)
+ any later version. The code is distributed WITHOUT ANY WARRANTY;
+ without even the implied warranty of MERCHANTABILITY or FITNESS
+ FOR A PARTICULAR PURPOSE. See the GNU GPL for more details.
+
+ As additional permission under GNU GPL version 3 section 7, you
+ may distribute non-source (e.g., minimized or compacted) forms of
+ that code without the copy of the GNU GPL normally required by
+ section 4, provided you include this license notice and a URL
+ through which recipients can access the Corresponding Source.
+
+ @licend The above is the entire license notice
+ for the JavaScript code in this page.
+ */
+ </script>
+
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<meta name="author" content="">
diff --git a/lang.js b/lang.js
@@ -1,3 +1,5 @@
+// @license magnet:?xt=urn:btih:1f739d935676111cfff4b4693e3816e664797050&dn=gpl-3.0.txt GPL-v3-or-Later
+
function supports_html5_storage() {
try {
return 'sessionStorage' in window && window['sessionStorage'] !== null;
@@ -51,3 +53,5 @@ function activate_menu()
b[i].setAttribute('class', s + ' active');
}
}
+
+// @license-end
