[gdb, doc] Add missing escape character '@'
This page took 0.111765 seconds and 3 git commands to generate.