diff options
author | johannst <johannes.stoelp@gmail.de> | 2019-07-07 18:07:39 +0200 |
---|---|---|
committer | johannst <johannes.stoelp@gmail.de> | 2019-07-07 18:07:39 +0200 |
commit | 2bcd9b228ec4ab6755370fd3755bb8be792f67c5 (patch) | |
tree | 7f9ef1ec1a9e2c3b8bb1bdd234213199af0beea5 | |
parent | bdea04bad16a4581029d30939b6c975a60ed395b (diff) | |
download | notes-2bcd9b228ec4ab6755370fd3755bb8be792f67c5.tar.gz notes-2bcd9b228ec4ab6755370fd3755bb8be792f67c5.zip |
fixed helptags
-rw-r--r-- | gdb.txt | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -6,7 +6,7 @@ |gdb| |opts| |prompt| - |user-commands| + |user_commands| |hooks| # gdb(1) *gdb* @@ -55,7 +55,7 @@ list variables according to regex, if regex empty, list all - user commands: *user-commands* + user commands: *user_commands* define <cmd> defines user command <cmd> to be run # cmds in prompt or script end |