src/Tools/jEdit/src/syslog_dockable.scala
changeset 64854 f5aa712e6250
parent 57612 990ffb84489b
child 66591 6efa351190d0