[petsc-dev] Old docs for petsc-dev

[Jed Brown]

On Fri, 8 Jan 2010 11:18:30 -0600 (CST), Satish Balay <balay at mcs.anl.gov> 
wrote:
> I pushed the commit - adding dev.html to petsc-dev.tar.gz

Great, thanks.

Jed