plugin: more aggressive name change to avoid conflicts
[ia32rtools.git] / tests / ops.seed.h
CommitLineData