From: bg <daniel.otte@rub.de>
Date: Sat, 19 Oct 2013 15:32:27 +0000 (+0200)
Subject: removing old commands from cmd-tool
X-Git-Url: https://git.cryptolib.org/?a=commitdiff_plain;h=a971d272c572905df24bf4820fa09bf4838537e5;hp=a971d272c572905df24bf4820fa09bf4838537e5;p=labortage2013badge.git

removing old commands from cmd-tool
---