--- a/src/Pure/ROOT Mon Apr 04 17:25:53 2016 +0200
+++ b/src/Pure/ROOT Mon Apr 04 19:48:54 2016 +0200
@@ -155,7 +155,6 @@
"Syntax/term_position.ML"
"Syntax/type_annotation.ML"
"System/bash.ML"
- "System/bash_windows.ML"
"System/command_line.ML"
"System/distribution.ML"
"System/invoke_scala.ML"