add/remove card ids without restarting checkcard.pl
[svn42.git] / reset_tty /
2010-08-12 Bernhard Tittelbachautocompile reset_tty fix