changeset 58872 | f0f623005324 |
parent 58861 | 5ff61774df11 |
child 58918 | 8d36bc5eaed3 |
--- a/src/Pure/build-jars Sun Nov 02 16:39:54 2014 +0100 +++ b/src/Pure/build-jars Sun Nov 02 16:47:45 2014 +0100 @@ -96,6 +96,7 @@ Tools/simplifier_trace.scala Tools/task_statistics.scala Tools/update_cartouches.scala + Tools/update_header.scala Tools/update_semicolons.scala library.scala term.scala