Matthew Flatt d3a86d35e5 assign authors to manuals ... svn: r11287 original commit: 9453aaaccf2f0007bae450c291e1cd29a7a14696		2008-08-15 20:16:06 +00:00
..
scribble	assign authors to manuals	2008-08-15 20:16:06 +00:00