src/Pure/build-jars
changeset 43780 2cb2310d68b6
parent 43779 47bec02c6762
child 44698 0385292321a0
     1.1 --- a/src/Pure/build-jars	Tue Jul 12 18:00:05 2011 +0200
     1.2 +++ b/src/Pure/build-jars	Tue Jul 12 19:36:46 2011 +0200
     1.3 @@ -20,6 +20,7 @@
     1.4    General/path.scala
     1.5    General/position.scala
     1.6    General/pretty.scala
     1.7 +  General/properties.scala
     1.8    General/scan.scala
     1.9    General/sha1.scala
    1.10    General/symbol.scala