top .gitignore: ignore .dirstamp files
[openocd.git] / doc / 
tree8a7fcf14f8c86754aeb8d0cefc03cc7ba7a41f49
drwxr-xr-x   ..
-rw-r--r-- 8385 INSTALL.txt
-rw-r--r-- 495 Makefile.am
-rw-r--r-- 21054 fdl.texi
drwxr-xr-x - manual
-rw-r--r-- 3237 openocd.1
-rw-r--r-- 349754 openocd.texi