WPrefs: Dead code removal
commit070f0ad8f4c52f6245ee71dd828b2e432692dbc6
authorChristophe CURIS <christophe.curis@free.fr>
Fri, 22 Feb 2019 14:48:16 +0000 (22 15:48 +0100)
committerCarlos R. Mafra <crmafra@gmail.com>
Fri, 22 Feb 2019 16:08:36 +0000 (22 16:08 +0000)
tree712c195fad35d2faa5f4b5c70397ea6287842963
parent2913ac0f0980ad95480629b770f3bd631f0d60be
WPrefs: Dead code removal

Signed-off-by: Christophe CURIS <christophe.curis@free.fr>
WPrefs.app/Menu.c
WPrefs.app/main.c