src/Pure/build-jars
changeset 43600 4ac04bf9ff89
parent 43523 5aaa0fe92672
child 43651 511df47bcadc
     1.1 --- a/src/Pure/build-jars	Thu Jun 30 00:01:00 2011 +0200
     1.2 +++ b/src/Pure/build-jars	Thu Jun 30 00:09:57 2011 +0200
     1.3 @@ -16,6 +16,7 @@
     1.4    General/timing.scala
     1.5    General/linear_set.scala
     1.6    General/markup.scala
     1.7 +  General/path.scala
     1.8    General/position.scala
     1.9    General/pretty.scala
    1.10    General/scan.scala