target/armv7m: change FPv4_SP and FPv5_SP/DP identifiers to uppercase
[fw/openocd] / doc /
drwxr-xr-x   ..
-rw-r--r-- 94 .gitattributes
-rw-r--r-- 206 Makefile.am
-rw-r--r-- 21033 fdl.texi
drwxr-xr-x - manual
-rw-r--r-- 3237 openocd.1
-rw-r--r-- 459146 openocd.texi