src/Pure/build-jars
changeset 38425 e467db701d78
parent 38412 c23f3abbf42d
child 38428 c13c95c97e89
     1.1 --- a/src/Pure/build-jars	Sun Aug 15 21:03:13 2010 +0200
     1.2 +++ b/src/Pure/build-jars	Sun Aug 15 21:42:13 2010 +0200
     1.3 @@ -41,7 +41,7 @@
     1.4    PIDE/document.scala
     1.5    PIDE/event_bus.scala
     1.6    PIDE/markup_node.scala
     1.7 -  PIDE/text_edit.scala
     1.8 +  PIDE/text.scala
     1.9    System/cygwin.scala
    1.10    System/download.scala
    1.11    System/gui_setup.scala