src/Pure/build-jars
changeset 69458 5655af3ea5bd
parent 69448 51e696887b81
child 69557 e72360fef69a
     1.1 --- a/src/Pure/build-jars	Thu Dec 13 13:11:35 2018 +0100
     1.2 +++ b/src/Pure/build-jars	Thu Dec 13 15:21:34 2018 +0100
     1.3 @@ -75,6 +75,7 @@
     1.4    General/untyped.scala
     1.5    General/url.scala
     1.6    General/utf8.scala
     1.7 +  General/uuid.scala
     1.8    General/value.scala
     1.9    General/word.scala
    1.10    General/xz.scala