changeset 48021 | d899be1cfe6d |
parent 48014 | 63021e59cbf0 |
child 48280 | 7d86239986c2 |
--- a/src/Tools/jEdit/lib/Tools/jedit Tue May 29 21:48:05 2012 +0200 +++ b/src/Tools/jEdit/lib/Tools/jedit Tue May 29 22:24:31 2012 +0200 @@ -25,6 +25,7 @@ "src/readme_dockable.scala" "src/scala_console.scala" "src/session_dockable.scala" + "src/syslog_dockable.scala" "src/text_area_painter.scala" "src/text_overview.scala" "src/token_markup.scala"