Mon, 12 Jan 2009 12:26:02 +0000Rename Lp*/Mip* to *Lp/*Mip
Alpar Juttner <alpar@cs.elte.hu> [Mon, 12 Jan 2009 12:26:02 +0000] rev 462
Rename Lp*/Mip* to *Lp/*Mip