src/Pure/build-jars
changeset 67438 fdb7b995974d
parent 67433 e0c0c1f0e3e7
child 67737 8af6fcdc869d
     1.1 --- a/src/Pure/build-jars	Mon Jan 15 10:46:41 2018 +0100
     1.2 +++ b/src/Pure/build-jars	Mon Jan 15 14:31:57 2018 +0100
     1.3 @@ -44,6 +44,7 @@
     1.4    General/antiquote.scala
     1.5    General/bytes.scala
     1.6    General/codepoint.scala
     1.7 +  General/comment.scala
     1.8    General/completion.scala
     1.9    General/date.scala
    1.10    General/exn.scala