diff options
author | Bardur Arantsson <bardur@scientician.net> | 2013-06-29 13:43:40 +0200 |
---|---|---|
committer | Bardur Arantsson <bardur@scientician.net> | 2013-06-29 13:43:58 +0200 |
commit | 820480f8e22a0f881446542c173e9bd97c0665d6 (patch) | |
tree | 71065e21860c7eecc3b37c5f6e9f36cad39eeb49 /lib/mods/theme/user | |
parent | 966ae460fcde74c5e33782c829b732c9bd4c2821 (diff) |
Remove unused other_query_flag option
Diffstat (limited to 'lib/mods/theme/user')
-rw-r--r-- | lib/mods/theme/user/all.prf | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/lib/mods/theme/user/all.prf b/lib/mods/theme/user/all.prf index 700c4637..e3da030f 100644 --- a/lib/mods/theme/user/all.prf +++ b/lib/mods/theme/user/all.prf @@ -8,9 +8,6 @@ X:rogue_like_commands # Option 'Activate quick messages' Y:quick_messages -# Option 'Prompt for various information' -X:other_query_flag - # Option 'Prompt before picking things up' X:carry_query_flag |