From: Andrew Engelbrecht <andrew@fsf.org>
Date: Wed, 17 May 2017 20:44:27 +0000 (-0400)
Subject: added more weblabels for rt.gnu.org.
X-Git-Url: https://vcs.fsf.org/?a=commitdiff_plain;h=ad9d43cbad57ea8abc5f70b93f5f039b709ced6f;p=weblabels.fsf.org.git

added more weblabels for rt.gnu.org.
---

diff --git a/rt.gnu.org/CURRENT/files/etc/ckeditor-4.0.1.zip b/rt.gnu.org/CURRENT/files/etc/ckeditor-4.0.1.zip
new file mode 100644
index 00000000..d7f642bc
Binary files /dev/null and b/rt.gnu.org/CURRENT/files/etc/ckeditor-4.0.1.zip differ
diff --git a/rt.gnu.org/CURRENT/index.html b/rt.gnu.org/CURRENT/index.html
index a070d799..42777796 100644
--- a/rt.gnu.org/CURRENT/index.html
+++ b/rt.gnu.org/CURRENT/index.html
@@ -107,6 +107,30 @@
   <td><a href="/rt.gnu.org/CURRENT/files/etc/jquery.modal.js">jquery.modal.js</a></td>
 </tr>
 
+<tr>
+  <td><a href="https://rt.gnu.org/static/js/supposition.js">supposition.js</a></td>
+  <td><a href="http://www.gnu.org/licenses/gpl-2.0.html">GNU General Public License version 2</a></td>
+  <td><a href="/rt.gnu.org/CURRENT/files/share/static/js/supposition.js">supposition.js</a></td>
+</tr>
+
+<tr>
+  <td><a href="https://rt.gnu.org/static/js/jquery-ui-timepicker-addon.js">jquery-ui-timepicker-addon.js</a></td>
+  <td><a href="http://www.gnu.org/licenses/gpl-2.0.html">GNU General Public License version 2</a></td>
+  <td><a href="/rt.gnu.org/CURRENT/files/share/static/js/jquery-ui-timepicker-addon.js">jquery-ui-timepicker-addon.js</a></td>
+</tr>
+
+<tr>
+  <td><a href="https://rt.gnu.org/static/RichText/ckeditor.js">jquery-ckeditor.js</a></td>
+  <td><a href="http://www.gnu.org/licenses/gpl-2.0.html">GNU General Public License version 2</a></td>
+  <td><a href="/rt.gnu.org/CURRENT/files/etc/ckeditor-4.0.1.zip">ckeditor-4.0.1.zip</a></td>
+</tr>
+
+<tr>
+  <td><a href="https://rt.gnu.org/static/js/jquery.event.hover-1.0.js">jquery.event.hover-1.0.js</a></td>
+  <td><a href="http://www.jclark.com/xml/copying.txt">Expat</a></td>
+  <td><a href="/rt.gnu.org/CURRENT/files/etc/jquery.event.hover-1.0.js">jquery.event.hover-1.0.js</a></td>
+</tr>
+