toolchain/share/doc/gdb/set-substitute_002dpath.html

2 lines
86 B
HTML

<meta http-equiv="refresh" content="0; url=Source-Path.html#set%20substitute%2dpath">