From 7c56752674a125df45a11728ab75d76498dad646 Mon Sep 17 00:00:00 2001 From: Johannes Schindelin Date: Thu, 19 Feb 2009 17:40:55 +0100 Subject: [PATCH] Remove obsoleted installed.ini Signed-off-by: Johannes Schindelin --- mingw/installed.ini | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 mingw/installed.ini diff --git a/mingw/installed.ini b/mingw/installed.ini deleted file mode 100644 index 015af9bda2..0000000000 --- a/mingw/installed.ini +++ /dev/null @@ -1,15 +0,0 @@ -[settings] -mirror=http://mesh.dl.sourceforge.net/sourceforge -installtype=current - -[components] -runtime=mingw-runtime-3.12.tar.gz -w32api=w32api-3.9.tar.gz -binutils=binutils-2.16.91-20060119-1.tar.gz -core=gcc-core-3.4.2-20040916-1.tar.gz -gpp=gcc-g++-3.4.2-20040916-1.tar.gz -g77= -ada= -java= -objc= -make= -- 2.11.4.GIT