Hi all, I just registered openocd for mirroring on repo.or.cz:
http://repo.or.cz/w/openocd.git Share and Enjoy, Zach _______________________________________________ Openocd-development mailing list Openocd-development@lists.berlios.de https://lists.berlios.de/mailman/listinfo/openocd-development