--- a/src/Pure/build-jars Mon Aug 12 12:06:48 2013 +0200
+++ b/src/Pure/build-jars Mon Aug 12 13:30:54 2013 +0200
@@ -18,6 +18,7 @@
General/graph.scala
General/graphics_file.scala
General/linear_set.scala
+ General/multi_map.scala
General/path.scala
General/position.scala
General/pretty.scala