changeset 73653 | d9823224fcfe |
parent 73523 | 2cd23d587db9 |
child 73691 | 2f9877db82a1 |
--- a/src/Pure/build-jars Sat May 08 13:06:30 2021 +0200 +++ b/src/Pure/build-jars Mon May 10 12:23:30 2021 +0200 @@ -21,6 +21,7 @@ src/Pure/Admin/build_history.scala src/Pure/Admin/build_jcef.scala src/Pure/Admin/build_jdk.scala + src/Pure/Admin/build_jedit.scala src/Pure/Admin/build_log.scala src/Pure/Admin/build_polyml.scala src/Pure/Admin/build_release.scala