Remove editor preferences from source files.
[openocd.git] / doc / 
tree35fe4b0a7d4696ae13b16de9c93589a9a4f9c1ed
drwxr-xr-x   ..
-rw-r--r-- 8388 INSTALL.txt
-rw-r--r-- 431 Makefile.am
-rw-r--r-- 21054 fdl.texi
drwxr-xr-x - manual
-rw-r--r-- 3125 openocd.1
-rw-r--r-- 225233 openocd.texi