pacman-key: rename --del to --delete
commit8ee0724558a33e224c06dddd63d6560d6e41cb44
authorAllan McRae <allan@archlinux.org>
Tue, 5 Jul 2011 17:34:04 +0000 (6 03:34 +1000)
committerAllan McRae <allan@archlinux.org>
Tue, 19 Jul 2011 00:27:53 +0000 (19 10:27 +1000)
tree98737019113843665acdef2619ecc5c84a1155e8
parent95d7e1616361ab2b2be38ba5283328f6f9312012
pacman-key: rename --del to --delete

There is already the short -d alias provided, so stay verbose with
the longer option name.

Signed-off-by: Allan McRae <allan@archlinux.org>
scripts/pacman-key.sh.in