firm_init_options() is now a separate function that reads the firm.ini and might...
[libfirm] / win32 / install.cmd
2005-11-17 Michael BeckInstall the header script and header list for win32...