mirror of
https://git.code.sf.net/p/openocd/code
synced 2026-07-03 11:28:32 +00:00
That syntax has been obsolete forever and is now gone; remove a few remaining references. Shows how seldom this stuff gets used. Signed-off-by: David Brownell <dbrownell@users.sourceforge.net>