Eli Barzilay a9ec4a2668 * Remove a bunch of additional stuff from the bug-report menu ... * Rewrote `reorder-menus' to remove menus that are left empty * Solves PR7360 svn: r3052 original commit: 9ae090e45b9f29fe756a3f7795550037dc043970		2006-05-24 23:01:45 +00:00
collects	* Remove a bunch of additional stuff from the bug-report menu	2006-05-24 23:01:45 +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