src/Pure/build-jars
changeset 54439 621a155c7715
parent 53841 73536e119310
child 54671 d64a4ef26edb
--- a/src/Pure/build-jars	Thu Nov 14 10:59:22 2013 +0100
+++ b/src/Pure/build-jars	Thu Nov 14 16:55:32 2013 +0100
@@ -13,6 +13,7 @@
   Concurrent/future.scala
   Concurrent/simple_thread.scala
   Concurrent/volatile.scala
+  General/bytes.scala
   General/exn.scala
   General/file.scala
   General/graph.scala