add/remove card ids without restarting checkcard.pl
[svn42.git] / tuerctlsh
2009-09-20 realraumadded tuerctl shell