changeset 48410 | 5539322f68c9 |
parent 48365 | d88aefda01c4 |
child 48411 | 5b3440850d36 |
--- a/src/Pure/build-jars Fri Jul 20 22:29:25 2012 +0200 +++ b/src/Pure/build-jars Fri Jul 20 22:39:59 2012 +0200 @@ -51,7 +51,6 @@ System/options.scala System/platform.scala System/session.scala - System/session_manager.scala System/standard_system.scala System/swing_thread.scala System/system_channel.scala