changeset 75105 | 03115c9eea00 |
parent 75083 | 35a5c4b16024 |
child 75214 | a51a0a704854 |
--- a/etc/build.props Sun Feb 20 15:22:12 2022 +0100 +++ b/etc/build.props Sun Feb 20 15:30:07 2022 +0100 @@ -22,6 +22,7 @@ src/Pure/Admin/build_jedit.scala \ src/Pure/Admin/build_log.scala \ src/Pure/Admin/build_minisat.scala \ + src/Pure/Admin/build_pdfjs.scala \ src/Pure/Admin/build_polyml.scala \ src/Pure/Admin/build_release.scala \ src/Pure/Admin/build_spass.scala \