plugin: more aggressive name change to avoid conflicts
[ia32rtools.git] / COPYING
2014-03-05 notazadd a license