diff options
author | Bardur Arantsson <bardur@scientician.net> | 2014-06-26 07:25:00 +0200 |
---|---|---|
committer | Bardur Arantsson <bardur@scientician.net> | 2014-06-26 07:28:53 +0200 |
commit | ec23e119e24a32f4607dfdc0f43e8726febc4043 (patch) | |
tree | 34a13ebe1eb56cdc69a08df7a7b9ce879fd6e3e0 /src/store.cc | |
parent | 27b26f3940a589d8df800254b66de87f75b28758 (diff) |
Remove pointless Term_user
Diffstat (limited to 'src/store.cc')
-rw-r--r-- | src/store.cc | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/store.cc b/src/store.cc index b65ffdfe..1e61c413 100644 --- a/src/store.cc +++ b/src/store.cc @@ -3027,13 +3027,6 @@ static bool_ store_process_command(void) /*** System Commands ***/ - /* Hack -- User interface */ - case '!': - { - (void)Term_user(0); - break; - } - /* Single line from a pref file */ case '"': { |