changeset 72439 | 7f6800b2e8c2 |
parent 72421 | 9a8bc089890d |
child 72448 | faad63aca1e7 |
--- a/src/Pure/build-jars Sun Oct 11 12:48:48 2020 +0200 +++ b/src/Pure/build-jars Sun Oct 11 13:03:22 2020 +0200 @@ -24,6 +24,7 @@ src/Pure/Admin/build_spass.scala src/Pure/Admin/build_sqlite.scala src/Pure/Admin/build_status.scala + src/Pure/Admin/build_verit.scala src/Pure/Admin/check_sources.scala src/Pure/Admin/ci_profile.scala src/Pure/Admin/components.scala