src/Pure/build-jars

--- a/src/Pure/build-jars	Mon Jun 28 14:24:50 2021 +0200
+++ b/src/Pure/build-jars	Mon Jun 28 14:43:33 2021 +0200
@@ -133,7 +133,6 @@
   src/Pure/System/bash.scala
   src/Pure/System/command_line.scala
   src/Pure/System/components.scala
-  src/Pure/System/cygwin.scala
   src/Pure/System/executable.scala
   src/Pure/System/getopts.scala
   src/Pure/System/isabelle_charset.scala