diff options
author | Forrest Voight <forrest.voight@gmail.com> | 2016-06-13 11:09:13 -0700 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2016-06-13 20:09:13 +0200 |
commit | 1069e08700b122daa9302f3e715a586a07d80156 (patch) | |
tree | da76e0581000bd6f8da7b8ab5d4eebcefd0fc18b /.gdbinit | |
parent | a41a009f2ebec350f0ebbcbf8353223a15cfa557 (diff) | |
download | ghdl-1069e08700b122daa9302f3e715a586a07d80156.tar.gz ghdl-1069e08700b122daa9302f3e715a586a07d80156.tar.bz2 ghdl-1069e08700b122daa9302f3e715a586a07d80156.zip |
Document bind only (-b) option to make (-m) command from commit 876bf7fea6d. (#76)
Diffstat (limited to '.gdbinit')
0 files changed, 0 insertions, 0 deletions