src/Pure/build-jars
changeset 43730 a0ed7bc688b5
parent 43715 518e44a0ee15
child 43744 2c7e1565b4a3
     1.1 --- a/src/Pure/build-jars	Sun Jul 10 16:34:17 2011 +0200
     1.2 +++ b/src/Pure/build-jars	Sun Jul 10 17:58:11 2011 +0200
     1.3 @@ -57,6 +57,7 @@
     1.4    Thy/thy_syntax.scala
     1.5    library.scala
     1.6    package.scala
     1.7 +  term.scala
     1.8  )
     1.9  
    1.10