# HG changeset patch
# User wenzelm
# Date 1357907062 -3600
# Node ID bfbb96177a255584e7e26ec3815703d24ef70af3
# Parent  7784cc660580ef02e9e3dbb472879cc28070565e
obsolete;

diff -r 7784cc660580 -r bfbb96177a25 Admin/Windows/Cygwin/Cygwin-Setup-Default.bat
--- a/Admin/Windows/Cygwin/Cygwin-Setup-Default.bat	Fri Jan 11 13:23:51 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-@echo off
-
-setup.exe --local-package-dir "%TEMP%" --root "%CD%\cygwin-root" -P libgmp3,perl,python,texlive-collection-basic,texlive-collection-fontsrecommended,texlive-collection-genericrecommended,texlive-collection-latex,texlive-collection-latexrecommended
-