changeset 74945 | 4dc90b43ba94 |
parent 74482 | bd5998580edb |
child 74946 | 0dd14d8b16da |
--- a/etc/build.props Wed Dec 15 19:39:02 2021 +0100 +++ b/etc/build.props Wed Dec 15 19:41:30 2021 +0100 @@ -170,6 +170,7 @@ src/Pure/Tools/debugger.scala \ src/Pure/Tools/doc.scala \ src/Pure/Tools/dump.scala \ + src/Pure/Tools/flarum.scala \ src/Pure/Tools/fontforge.scala \ src/Pure/Tools/java_monitor.scala \ src/Pure/Tools/logo.scala \