-
Jukka-Pekka Iivonen authored
2001-08-26 Jukka-Pekka Iivonen <jiivonen@hutcs.cs.hut.fi> * plugins/mps/mps.c, plugins/mps/plugin.xml, plugins/mps/Makefile.am: Introduced. * configure.in, plugins/Makefile.am: Added the compilation of the MPS plugin.
d131ff58