src/Pure/build-jars
changeset 69426 91f46633bb4e
parent 69401 7a1b7b737c02
child 69448 51e696887b81
     1.1 --- a/src/Pure/build-jars	Sat Dec 08 14:58:56 2018 +0100
     1.2 +++ b/src/Pure/build-jars	Sat Dec 08 15:13:28 2018 +0100
     1.3 @@ -21,6 +21,7 @@
     1.4    Admin/build_status.scala
     1.5    Admin/check_sources.scala
     1.6    Admin/ci_profile.scala
     1.7 +  Admin/components.scala
     1.8    Admin/isabelle_cronjob.scala
     1.9    Admin/isabelle_devel.scala
    1.10    Admin/jenkins.scala
    1.11 @@ -112,7 +113,6 @@
    1.12    ROOT.scala
    1.13    System/bash.scala
    1.14    System/command_line.scala
    1.15 -  System/components.scala
    1.16    System/cygwin.scala
    1.17    System/distribution.scala
    1.18    System/getopts.scala