search

golosio / xrmc

17 stars 10 forks source link

Fixes configure problem/XMI-MSIM plugin fixes #6

Closed tschoonj closed 11 years ago

tschoonj commented 11 years ago

Hey Bruno,

We should probably talk before you merge this one in.

Best,

Tom