Revert "target: remove unused working area 'user' field"
[fw/openocd] / doc / manual /
drwxr-xr-x   ..
-rw-r--r-- 315 app.txt
-rw-r--r-- 785 flash.txt
-rw-r--r-- 5166 helper.txt
-rw-r--r-- 1971 jtag.txt
drwxr-xr-x - jtag
-rw-r--r-- 3678 main.txt
drwxr-xr-x - primer
-rw-r--r-- 22042 release.txt
-rw-r--r-- 3106 scripting.txt
-rw-r--r-- 12863 server.txt
-rw-r--r-- 16940 style.txt
-rw-r--r-- 1122 target.txt
drwxr-xr-x - target