subcommand: Do not duplicate options to com_prefs().
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 5 Mar 2017 21:57:10 +0000 (22:57 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 15 Apr 2017 15:45:21 +0000 (17:45 +0200)
commit71610bcb63f7e3d4bf33a8e766cad5d9b8f74acc
tree351a5bfb87ff0a18cf8a39cd674b3ddc6cf97814
parent786bfe5f3ee1d8ff8bf6eca1836cf93179a3020c
subcommand: Do not duplicate options to com_prefs().
subcommand