projects / binutils-gdb.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b1f59f) | patch
Update documentation to mention Pygments
authorTom Tromey <tromey@adacore.com>
Thu, 12 Aug 2021 18:38:37 +0000 (12:38 -0600)
committerTom Tromey <tromey@adacore.com>
Thu, 12 Aug 2021 20:06:20 +0000 (14:06 -0600)
commit6a33fa0efec5aa87230a84bcab3c097237dd7f90
treeea211d4aa9cfacb8f8ef73afcc0579da15243761tree
parent9b1f59fc95da32963f3ba22f8587ea0c12899e05commit | diff
Update documentation to mention Pygments

Philippe Blain pointed out that the gdb documentation does not mention
that Pygments may be used for source highlighting.  This patch updates
the docs to reflect how highlighting is actually done.
gdb/doc/gdb.texinfo diff | blob | history