sonja.mirtitsch%sun.com 390ae7f23f checking in Kirk's patch		2003-02-08 22:43:37 +00:00
..
linux	Bug 189501: added three directories. Without these, /usr/include/mps isn't	2003-02-04 04:23:55 +00:00
solaris	checking in Kirk's patch	2003-02-08 22:43:37 +00:00
Makefile.in