On Monday 22 June 2009, Zach Welch wrote: > Actually, I see no reason that it cannot be GPL too. ... > > Either way, I would consider adding it to the > repository in the tools/ directory, if that turns out to be a reasonable > plan of action for all. What do you think about that?
One caution: mixing licenses in one repository can be trouble. Worth avoiding if possible. _______________________________________________ Openocd-development mailing list [email protected] https://lists.berlios.de/mailman/listinfo/openocd-development
