diff options
| author | Juanma Barranquero | 2007-10-17 08:48:07 +0000 |
|---|---|---|
| committer | Juanma Barranquero | 2007-10-17 08:48:07 +0000 |
| commit | e080d1308132cda5934ed273d9481e7b187799fe (patch) | |
| tree | 5692d1be7164f51f61aabc658057b6b9ca2ac5e8 | |
| parent | be8fdb628bd992f3ceefcbfcbe38e403f47739cb (diff) | |
| download | emacs-e080d1308132cda5934ed273d9481e7b187799fe.tar.gz emacs-e080d1308132cda5934ed273d9481e7b187799fe.zip | |
(Source Buffers): Use "key binding" consistently.
| -rw-r--r-- | man/building.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/building.texi b/man/building.texi index 3fedbfed674..28ea5ec3dc3 100644 --- a/man/building.texi +++ b/man/building.texi | |||
| @@ -907,7 +907,7 @@ places. | |||
| 907 | 907 | ||
| 908 | @c @findex gdb-mouse-set-clear-breakpoint | 908 | @c @findex gdb-mouse-set-clear-breakpoint |
| 909 | @c @findex gdb-mouse-toggle-breakpoint | 909 | @c @findex gdb-mouse-toggle-breakpoint |
| 910 | Many GDB commands can be entered using keybindings or the tool bar but | 910 | Many GDB commands can be entered using key bindings or the tool bar but |
| 911 | sometimes it is quicker to use the fringe. These commands either | 911 | sometimes it is quicker to use the fringe. These commands either |
| 912 | manipulate breakpoints or control program execution. When there is no | 912 | manipulate breakpoints or control program execution. When there is no |
| 913 | fringe, you can use the margin but this is only present when the | 913 | fringe, you can use the margin but this is only present when the |