src/Pure/build-jars
changeset 56905 fb38a767a78b
parent 56864 0446c7ac2e32
child 57032 cf570f3ecdc1
--- a/src/Pure/build-jars	Wed May 07 18:09:08 2014 +0200
+++ b/src/Pure/build-jars	Thu May 08 00:12:22 2014 +0200
@@ -37,6 +37,7 @@
   General/time.scala
   General/timing.scala
   General/url.scala
+  General/untyped.scala
   General/word.scala
   General/xz_file.scala
   GUI/color_value.scala