src/Pure/build-jars
changeset 43779 47bec02c6762
parent 43776 6dd13e111d30
child 43780 2cb2310d68b6
     1.1 --- a/src/Pure/build-jars	Tue Jul 12 17:53:06 2011 +0200
     1.2 +++ b/src/Pure/build-jars	Tue Jul 12 18:00:05 2011 +0200
     1.3 @@ -57,6 +57,7 @@
     1.4    library.scala
     1.5    package.scala
     1.6    term.scala
     1.7 +  term_xml.scala
     1.8  )
     1.9  
    1.10