Eli Barzilay f5f5cf90aa old-preferences is gone (it was only there to convert old style preferences, and has been out for a long enough time) ... svn: r14726 original commit: 8ee902de48dd3f93a02f795765020187af0813bd		2009-05-06 03:42:49 +00:00
collects	old-preferences is gone (it was only there to convert old style preferences, and has been out for a long enough time)	2009-05-06 03:42:49 +00:00
doc/release-notes/mred	HISTORY updates through 4.1.5: merge to 4.1.5	2009-03-17 19:57:04 +00:00
man/man1	add setup-plt and mzc man pages	2008-01-05 23:41:46 +00:00