src/Pure/build-jars
changeset 57612 990ffb84489b
parent 57580 86b413b8f779
child 57647 5c600dd17617
     1.1 --- a/src/Pure/build-jars	Wed Jul 23 11:08:24 2014 +0200
     1.2 +++ b/src/Pure/build-jars	Wed Jul 23 11:19:24 2014 +0200
     1.3 @@ -42,10 +42,10 @@
     1.4    General/xz_file.scala
     1.5    GUI/color_value.scala
     1.6    GUI/gui.scala
     1.7 +  GUI/gui_thread.scala
     1.8    GUI/html5_panel.scala
     1.9    GUI/jfx_thread.scala
    1.10    GUI/popup.scala
    1.11 -  GUI/swing_thread.scala
    1.12    GUI/system_dialog.scala
    1.13    GUI/wrap_panel.scala
    1.14    Isar/keyword.scala