# HG changeset patch
# User wenzelm
# Date 1380736171 -7200
# Node ID c931190b8c5c35e0dbbdfad1313221b4ff7ad1d9
# Parent  f522477d671d8df89498a92e0380bd701576e940
tuned whitespace;

diff -r f522477d671d -r c931190b8c5c src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Wed Oct 02 19:49:15 2013 +0200
+++ b/src/Pure/System/isabelle_system.scala	Wed Oct 02 19:49:31 2013 +0200
@@ -127,6 +127,7 @@
   def get_cygwin_root(): String = getenv_strict("CYGWIN_ROOT")
 
 
+
   /** file-system operations **/
 
   /* jvm_path */