Bjørn Forsman 263b411639 openocd: update homepage ... The old one still works, but it redirects to the new one: http://openocd.sourceforge.net/		2013-05-10 15:30:25 +02:00
..
default.nix	openocd: update homepage	2013-05-10 15:30:25 +02:00