Remove obsoleted installed.ini
commit7c56752674a125df45a11728ab75d76498dad646
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Thu, 19 Feb 2009 16:40:55 +0000 (19 17:40 +0100)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Thu, 26 Feb 2009 10:57:27 +0000 (26 11:57 +0100)
tree10a487e6046f252dae9723f330921c55213da15a
parentb2d31897c5b629fa804fe192c8260fdd2c575570
Remove obsoleted installed.ini

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
mingw/installed.ini [deleted file]