changeset 80059 | 37ea0727291f |
parent 80027 | 64e57aafca1e |
child 80246 | 245dd5f82462 |
--- a/etc/build.props Thu Mar 28 15:08:58 2024 +0100 +++ b/etc/build.props Sat Mar 30 01:08:25 2024 +0100 @@ -200,6 +200,7 @@ src/Pure/System/setup_tool.scala \ src/Pure/System/system_channel.scala \ src/Pure/System/tty_loop.scala \ + src/Pure/System/web_app.scala \ src/Pure/Thy/document_build.scala \ src/Pure/Thy/thy_element.scala \ src/Pure/Thy/thy_header.scala \