src/Pure/build-jars
changeset 56599 c4424d8c890f
parent 56501 5fda9e5c5874
child 56623 4675df68450e
     1.1 --- a/src/Pure/build-jars	Tue Apr 15 22:41:10 2014 +0200
     1.2 +++ b/src/Pure/build-jars	Wed Apr 16 09:38:40 2014 +0200
     1.3 @@ -32,6 +32,7 @@
     1.4    General/time.scala
     1.5    General/timing.scala
     1.6    General/url.scala
     1.7 +  General/word.scala
     1.8    General/xz_file.scala
     1.9    GUI/color_value.scala
    1.10    GUI/gui.scala