OSDN Git Service

* gdbint.texinfo: Change Permissions to GFDL. Update Copyright.
authorEli Zaretskii <eliz@gnu.org>
Mon, 26 Mar 2001 11:51:50 +0000 (11:51 +0000)
committerEli Zaretskii <eliz@gnu.org>
Mon, 26 Mar 2001 11:51:50 +0000 (11:51 +0000)
commit01adb0e6fd715722b7b1e528b74aa11a15dd30f3
tree1453fc01dd1b9d1d037f254c8bd4f30e087cf463
parentb47a24936a58136ff766dafb9dedb56e311eeb70
* gdbint.texinfo: Change Permissions to GFDL.  Update Copyright.

* gdbgui.texinfo: Change Permissions to GFDL.  Update Copyright.
Replace "GDB" with "@value{GDBN}".  Fix markup.

* annotate.texi: Change Permissions to GFDL.  Update Copyright.

* gdb.texinfo: Change Permissions to GFDL.  Update Copyright.

* gdbmi.texinfo: Update copyright.  Change Permissions to GFDL.
gdb/doc/ChangeLog
gdb/doc/annotate.texi
gdb/doc/gdb.texinfo
gdb/doc/gdbgui.texinfo
gdb/doc/gdbint.texinfo
gdb/mi/ChangeLog
gdb/mi/gdbmi.texinfo