src/Pure/build-jars
changeset 40393 2bb7ec08574a
parent 38840 ec75dc58688b
child 42720 caa4f1279154
     1.1 --- a/src/Pure/build-jars	Sat Nov 06 16:53:07 2010 +0100
     1.2 +++ b/src/Pure/build-jars	Sat Nov 06 17:55:32 2010 +0100
     1.3 @@ -26,6 +26,7 @@
     1.4    Concurrent/simple_thread.scala
     1.5    Concurrent/volatile.scala
     1.6    General/exn.scala
     1.7 +  General/timing.scala
     1.8    General/linear_set.scala
     1.9    General/markup.scala
    1.10    General/position.scala