src/Pure/build-jars
changeset 38479 e628da370072
parent 38473 bd96f2a5beb0
child 38483 3d16bebee1d3
     1.1 --- a/src/Pure/build-jars	Wed Aug 18 14:04:13 2010 +0200
     1.2 +++ b/src/Pure/build-jars	Wed Aug 18 23:44:50 2010 +0200
     1.3 @@ -41,7 +41,7 @@
     1.4    Isar/token.scala
     1.5    PIDE/command.scala
     1.6    PIDE/document.scala
     1.7 -  PIDE/markup_node.scala
     1.8 +  PIDE/markup_tree.scala
     1.9    PIDE/text.scala
    1.10    System/cygwin.scala
    1.11    System/download.scala