changeset 80002 | ee449ca91c3b |
parent 79976 | c7e6a508a65b |
child 80011 | b082476a8036 |
--- a/etc/build.props Tue Mar 26 10:30:41 2024 +0100 +++ b/etc/build.props Tue Mar 26 11:15:48 2024 +0100 @@ -18,6 +18,7 @@ src/Pure/Admin/build_status.scala \ src/Pure/Admin/check_sources.scala \ src/Pure/Admin/ci_build.scala \ + src/Pure/Admin/component_bash_process.scala \ src/Pure/Admin/component_csdp.scala \ src/Pure/Admin/component_cvc5.scala \ src/Pure/Admin/component_cygwin.scala \