# HG changeset patch
# User wenzelm
# Date 1358441503 -3600
# Node ID af59600d89557cc8021243bdeb3d0abeff66af7c
# Parent  1005346154e8c5173309df4096cced90814099c7
proper permissions;

diff -r 1005346154e8 -r af59600d8955 Admin/lib/Tools/makedist_cygwin
--- a/Admin/lib/Tools/makedist_cygwin	Thu Jan 17 17:47:09 2013 +0100
+++ b/Admin/lib/Tools/makedist_cygwin	Thu Jan 17 17:51:43 2013 +0100
@@ -77,3 +77,4 @@
 
 DATE=$(date +%Y%m%d)
 tar -C "$TARGET/.." -cz -f "cygwin-${DATE}.tar.gz" cygwin
+