changeset 72558 | 38ebf696fd0c |
parent 72466 | 04403e1ef176 |
child 72652 | 07edf1952ab1 |
--- a/src/Pure/build-jars Sat Nov 07 16:49:51 2020 +0100 +++ b/src/Pure/build-jars Sat Nov 07 20:24:34 2020 +0100 @@ -66,6 +66,7 @@ src/Pure/General/linear_set.scala src/Pure/General/logger.scala src/Pure/General/long_name.scala + src/Pure/General/mailman.scala src/Pure/General/mercurial.scala src/Pure/General/multi_map.scala src/Pure/General/output.scala