K 10
svn:author
V 5
petef
K 8
svn:date
V 27
2001-09-08T00:13:34.000000Z
K 7
svn:log
V 137
Add MASTER_SITE_LOCAL in to MASTER_SITES. The main homepage for devtodo seems
to have disappeared...

Noticed by:	fenner distfile survey

END