src/Pure/build-jars
changeset 69807 3389fda6cffd
parent 69557 e72360fef69a
child 70576 3554531505a8
     1.1 --- a/src/Pure/build-jars	Thu Feb 14 15:45:34 2019 +0100
     1.2 +++ b/src/Pure/build-jars	Thu Feb 14 15:46:38 2019 +0100
     1.3 @@ -65,6 +65,7 @@
     1.4    General/position.scala
     1.5    General/pretty.scala
     1.6    General/properties.scala
     1.7 +  General/rdf.scala
     1.8    General/scan.scala
     1.9    General/sha1.scala
    1.10    General/sql.scala