changeset 73476 | 6b480efe1bc3 |
parent 73418 | 7d7d959547a1 |
child 73523 | 2cd23d587db9 |
--- a/src/Pure/build-jars Tue Mar 23 19:47:15 2021 +0100 +++ b/src/Pure/build-jars Wed Mar 24 21:17:19 2021 +0100 @@ -19,6 +19,7 @@ src/Pure/Admin/build_e.scala src/Pure/Admin/build_fonts.scala src/Pure/Admin/build_history.scala + src/Pure/Admin/build_jcef.scala src/Pure/Admin/build_jdk.scala src/Pure/Admin/build_log.scala src/Pure/Admin/build_polyml.scala