src/Pure/build-jars
changeset 46611 669601fa1a62
parent 45709 87017fcbad83
child 47009 97b68d61de2e
--- a/src/Pure/build-jars	Thu Feb 23 12:08:59 2012 +0100
+++ b/src/Pure/build-jars	Thu Feb 23 14:17:51 2012 +0100
@@ -14,6 +14,7 @@
   Concurrent/simple_thread.scala
   Concurrent/volatile.scala
   General/exn.scala
+  General/graph.scala
   General/linear_set.scala
   General/path.scala
   General/position.scala