src/Pure/build-jars
changeset 55511 984e210d412e
parent 55497 c0f8aebfb43d
child 55673 0286219c1261
--- a/src/Pure/build-jars	Sun Feb 16 13:18:08 2014 +0100
+++ b/src/Pure/build-jars	Sun Feb 16 14:18:14 2014 +0100
@@ -13,6 +13,7 @@
   Concurrent/future.scala
   Concurrent/simple_thread.scala
   Concurrent/volatile.scala
+  General/antiquote.scala
   General/bytes.scala
   General/exn.scala
   General/file.scala