InsetMathMBox.*

[Pavel Sanda]

Hi (Georg),

for a decade these files are not used and I don't suppose they will be used 
ever,
cf. da92b37c1dac93. So they should go. Scream now or never.

Pavel