From: markus schnalke Date: Wed, 8 Feb 2012 13:33:30 +0000 (+0100) Subject: Removed the `-delete' option from the `quit' command at the whatnow prompt. X-Git-Tag: mmh-thesis-end~361 X-Git-Url: http://git.marmaro.de/?a=commitdiff_plain;h=d297b2240c664de09b6d51a07a071aab33c4bf32;hp=d297b2240c664de09b6d51a07a071aab33c4bf32;p=mmh Removed the `-delete' option from the `quit' command at the whatnow prompt. There already is a command `delete' that's equal to the removed `quit -delete'. ---