* gdb.texinfo (Create and Delete Tracepoints): Add more index
authorPedro Alves <palves@redhat.com>
Thu, 1 Jul 2010 17:40:04 +0000 (17:40 +0000)
committerPedro Alves <palves@redhat.com>
Thu, 1 Jul 2010 17:40:04 +0000 (17:40 +0000)
commit74c761c17d1164eaadaab77eeb977d5ea27de615
tree37e91e0e3b03896b78164abd80cb5a3d96e53af4
parent501994c0ce8f1a502d77b928fa6d4146ec3c4c2a
* gdb.texinfo (Create and Delete Tracepoints): Add more index
entries for fast tracepoints and static tracepoints.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo
This page took 0.025516 seconds and 4 git commands to generate.