I have removed the petsc-dev/todo file and put all the
(many, many) entries into the src/docs/website/developers/projects.html 
file.

   Barry


Reply via email to