]> git.sur5r.net Git - openocd/history - PATCHES.txt
User's Guide: "#" in filesystems names is bad
[openocd] / PATCHES.txt
2010-01-09 David BrownellCoexist with quilt: rename PATCHES --> PATCHES.txt