src/Pure/build-jars
changeset 66820 fc516da7ee4f
parent 66790 c0e68e6a1beb
child 66959 015d47486fc8
     1.1 --- a/src/Pure/build-jars	Mon Oct 09 17:08:37 2017 +0200
     1.2 +++ b/src/Pure/build-jars	Mon Oct 09 17:09:08 2017 +0200
     1.3 @@ -9,6 +9,7 @@
     1.4  ## sources
     1.5  
     1.6  declare -a SOURCES=(
     1.7 +  Admin/afp.scala
     1.8    Admin/build_cygwin.scala
     1.9    Admin/build_doc.scala
    1.10    Admin/build_history.scala