Skip to content
  • Jukka-Pekka Iivonen's avatar
    Introduced. · d131ff58
    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