changeset 74482 | bd5998580edb |
parent 74429 | fedc0b659881 |
child 74945 | 4dc90b43ba94 |
--- a/etc/build.props Thu Oct 07 13:10:53 2021 +0200 +++ b/etc/build.props Thu Oct 07 13:12:08 2021 +0200 @@ -21,6 +21,7 @@ src/Pure/Admin/build_jdk.scala \ src/Pure/Admin/build_jedit.scala \ src/Pure/Admin/build_log.scala \ + src/Pure/Admin/build_minisat.scala \ src/Pure/Admin/build_polyml.scala \ src/Pure/Admin/build_release.scala \ src/Pure/Admin/build_spass.scala \