changeset 63778 | e06e899b78d0 |
parent 63776 | f1968429e339 |
child 63788 | 3160826b92f8 |
--- a/src/Pure/build-jars Sat Sep 03 23:25:02 2016 +0200 +++ b/src/Pure/build-jars Sun Sep 04 15:44:20 2016 +0200 @@ -116,6 +116,7 @@ Tools/news.scala Tools/print_operation.scala Tools/simplifier_trace.scala + Tools/sql.scala Tools/sqlite.scala Tools/task_statistics.scala Tools/update_cartouches.scala