changeset 69557 | e72360fef69a |
parent 69458 | 5655af3ea5bd |
child 69807 | 3389fda6cffd |
--- a/src/Pure/build-jars Mon Dec 31 12:02:31 2018 +0100 +++ b/src/Pure/build-jars Mon Dec 31 13:07:24 2018 +0100 @@ -160,6 +160,7 @@ Tools/simplifier_trace.scala Tools/spell_checker.scala Tools/task_statistics.scala + Tools/update.scala Tools/update_cartouches.scala Tools/update_comments.scala Tools/update_header.scala