cvs 2000-05-08

[Dave Peticolas]

CVS has been updated.

New Stuff:

 + Robby Stephenson's patch to add file history selections to the
   main menu.


dave