changeset 75214 | a51a0a704854 |
parent 75105 | 03115c9eea00 |
child 75247 | 4a9809ee1a85 |
--- a/etc/build.props Fri Mar 04 22:50:58 2022 +0100 +++ b/etc/build.props Fri Mar 04 22:53:49 2022 +0100 @@ -30,6 +30,7 @@ src/Pure/Admin/build_status.scala \ src/Pure/Admin/build_vampire.scala \ src/Pure/Admin/build_verit.scala \ + src/Pure/Admin/build_vscodium.scala \ src/Pure/Admin/build_zipperposition.scala \ src/Pure/Admin/check_sources.scala \ src/Pure/Admin/ci_profile.scala \