server: add server_preinit which is called before config file is parsed.
[openocd/jflash.git] / doc / 
tree777f22969ecbefbd3c4e7ff256522f6c508af980
drwxr-xr-x   ..
-rw-r--r-- 8385 INSTALL.txt
-rw-r--r-- 480 Makefile.am
-rw-r--r-- 21054 fdl.texi
drwxr-xr-x - manual
-rw-r--r-- 3055 openocd.1
-rw-r--r-- 274785 openocd.texi