HTML editor sucks

Matthew Knepley knepley at gmail.com
Fri May 23 08:34:51 CDT 2008


Does anyone else think it is crazy that a small 5 line edit in our html
files creates an enormous diff, and it takes me 10min to find the little
edit someone made? This is crazy.

  Matt

-- 
What most experimenters take for granted before they begin their
experiments is infinitely more interesting than any results to which
their experiments lead.
-- Norbert Wiener




More information about the petsc-dev mailing list