add/remove card ids without restarting checkcard.pl
authorrealraum <realraum@realraum.at>
Thu, 4 Nov 2010 14:24:32 +0000 (14:24 +0000)
committerrealraum <realraum@realraum.at>
Thu, 4 Nov 2010 14:24:32 +0000 (14:24 +0000)

No differences found