Index: openacs-4/packages/richtext-tinymce/www/resources/tinymce/jscripts/tiny_mce/themes/advanced/css/editor_ui.css
===================================================================
RCS file: /usr/local/cvsroot/openacs-4/packages/richtext-tinymce/www/resources/tinymce/jscripts/tiny_mce/themes/advanced/css/Attic/editor_ui.css,v
diff -u
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ openacs-4/packages/richtext-tinymce/www/resources/tinymce/jscripts/tiny_mce/themes/advanced/css/editor_ui.css	3 Jan 2016 20:43:18 -0000	1.1
@@ -0,0 +1 @@

\ No newline at end of file
Index: openacs-4/packages/richtext-tinymce/www/resources/tinymce/jscripts/tiny_mce/themes/openacs/css/editor_ui.css
===================================================================
RCS file: /usr/local/cvsroot/openacs-4/packages/richtext-tinymce/www/resources/tinymce/jscripts/tiny_mce/themes/openacs/css/Attic/editor_ui.css,v
diff -u
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ openacs-4/packages/richtext-tinymce/www/resources/tinymce/jscripts/tiny_mce/themes/openacs/css/editor_ui.css	3 Jan 2016 20:43:57 -0000	1.1
@@ -0,0 +1 @@

\ No newline at end of file
Index: openacs-4/packages/richtext-tinymce/www/resources/tinymce/jscripts/tiny_mce/themes/simple/css/editor_ui.css
===================================================================
RCS file: /usr/local/cvsroot/openacs-4/packages/richtext-tinymce/www/resources/tinymce/jscripts/tiny_mce/themes/simple/css/Attic/editor_ui.css,v
diff -u
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ openacs-4/packages/richtext-tinymce/www/resources/tinymce/jscripts/tiny_mce/themes/simple/css/editor_ui.css	3 Jan 2016 20:44:26 -0000	1.1
@@ -0,0 +1 @@

\ No newline at end of file