diff options
-rw-r--r-- | gdb/doc/.Sanitize | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/doc/.Sanitize b/gdb/doc/.Sanitize index 2a62dc0..6c1aa14 100644 --- a/gdb/doc/.Sanitize +++ b/gdb/doc/.Sanitize @@ -47,6 +47,7 @@ ChangeLog LRS Makefile.in a4rc.sed +agentexpr.texi all-cfg.texi annotate.texi configure |