changeset 63776 | f1968429e339 |
parent 63686 | 66f217416da7 |
child 63778 | e06e899b78d0 |
--- a/src/Pure/build-jars Fri Sep 02 20:30:54 2016 +0200 +++ b/src/Pure/build-jars Sat Sep 03 22:56:57 2016 +0200 @@ -116,6 +116,7 @@ Tools/news.scala Tools/print_operation.scala Tools/simplifier_trace.scala + Tools/sqlite.scala Tools/task_statistics.scala Tools/update_cartouches.scala Tools/update_header.scala