Eli Barzilay d10d1985be * Added remove-empty-menus', same places as reorder-menus'. ... * Use it in bug-report.ss, since it currently has nothing in its help menu. svn: r3061 original commit: b690f6cea1e86a962604b49214b19a2ccc7d9a42		2006-05-25 17:18:58 +00:00
collects	* Added remove-empty-menus', same places as reorder-menus'.	2006-05-25 17:18:58 +00:00
doc/release-notes/mred	301.15: new install tree for Unix, moved docs, moved teachpacks, added config.ss	2006-05-18 15:03:05 +00:00
man/man1	update command-line flags, purge PLTHOME	2006-05-24 20:27:51 +00:00