# HG changeset patch
# User wenzelm
# Date 1345392085 -7200
# Node ID 77dd968009366f62da705bf22aed9a6cfcbbc506
# Parent  86816c61b5ca6e2b58c3b34f4658a21772ef0a16
more comprehensible platform family name;

diff -r 86816c61b5ca -r 77dd96800936 Admin/components/cygwin
--- a/Admin/components/cygwin	Sun Aug 19 17:51:41 2012 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-#specific components for Windows/Cygwin only
-exec_process-1.0
diff -r 86816c61b5ca -r 77dd96800936 Admin/components/windows
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/components/windows	Sun Aug 19 18:01:25 2012 +0200
@@ -0,0 +1,2 @@
+#specific components for Windows/Cygwin only
+exec_process-1.0