more font size tweaks.

[citadel.git] / webcit / static / util.js

diff --git a/webcit/static/util.js b/webcit/static/util.js
index 9170a95d3d5e623032ab3672a5b9a492935a7b04..8a94c4f104018aaca02141c8b909553810e77e5f 100644 (file)
--- a/webcit/static/util.js
+++ b/webcit/static/util.js
@@ -21,6 +21,12 @@ Object.inspect = function(obj) {
 
 // borrowed from http://www.schuerig.de/michael/javascript/stdext.js
 // Copyright (c) 2005, Michael Schuerig, michael@schuerig.de
+// License
+// This library is free software; you can redistribute it and/or
+// modify it under the terms of the GNU Lesser General Public
+// License as published by the Free Software Foundation; either
+// version 2.1 of the 
+// See http://www.gnu.org/copyleft/lesser.html
 
 Array.flatten = function(array, excludeUndefined) {
   if (excludeUndefined === undefined) {