diff TOOLS/install-w32codecs.sh @ 26172:6f6534bf7fbe

Handle vga_init() error and output error message.
author iive
date Sun, 09 Mar 2008 10:34:04 +0000
parents 0432c831819d
children
line wrap: on
line diff