server: rely on ctrl-c to stop openocd
[fw/openocd] / PATCHES.txt
2010-01-09 David BrownellCoexist with quilt: rename PATCHES --> PATCHES.txt