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 (file)
index 0000000..d7f642b
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 a070d79972018bf1f1b59b34f67253942ffd86cb..427777969bb3070262760aab34c8534d082e3061 100644 (file)
--- 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>
+