remove __attribute__((unused)) from get_cmd
commitb2f99f670f1aafbcc4254b60687ea6428fca0ff0
authorPeter Oberndorfer <kumbayo84@gmail.com>
Wed, 3 Aug 2011 19:36:45 +0000 (3 21:36 +0200)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Thu, 4 Aug 2011 23:08:58 +0000 (5 01:08 +0200)
tree47bbea4100b03ce65748eb472462027e0de14ad9
parenta3da2ee7a1140a62f50e37a36d66a6881c659e62
remove __attribute__((unused)) from get_cmd

it is not needed anymore since 73a520a Unify arguments to exec 'Git Bash' on 32-bit and 64-bit platforms

Signed-off-by: Peter Oberndorfer <kumbayo84@gmail.com>
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
explorer/menu.c