arm_adi_v5: remove useless cast to int
[openocd.git] / doc / 
tree8fa99a389351c058d5d46d28db3b63ce69b2815f
drwxr-xr-x   ..
-rw-r--r-- 206 Makefile.am
-rw-r--r-- 21054 fdl.texi
drwxr-xr-x - manual
-rw-r--r-- 3237 openocd.1
-rw-r--r-- 408311 openocd.texi