Home | History | Annotate | Download | only in gdb

Lines Matching refs:REPORT_BUGS_TEXI

753 REPORT_BUGS_TEXI
25745     REPORT_BUGS_TEXI=
25749     REPORT_BUGS_TEXI=@uref{`echo "$BUGURL" | sed 's/@/@@/g'`}