src/Pure/build-jars
changeset 69395 d1c4a1dee9e7
parent 69355 cdc2de88d657
child 69401 7a1b7b737c02
     1.1 --- a/src/Pure/build-jars	Mon Dec 03 15:15:54 2018 +0100
     1.2 +++ b/src/Pure/build-jars	Mon Dec 03 20:04:48 2018 +0100
     1.3 @@ -113,6 +113,7 @@
     1.4    ROOT.scala
     1.5    System/bash.scala
     1.6    System/command_line.scala
     1.7 +  System/components.scala
     1.8    System/cygwin.scala
     1.9    System/distribution.scala
    1.10    System/getopts.scala