On Tue, Feb 12, 2013 at 10:44 AM, Jed Brown <[email protected]> wrote:

On Tue, Feb 12, 2013 at 10:41 AM, Matthew Knepley <[email protected]>wrote:

...

Yes, we should have remembered to do it when we moved them but I was not paying attention.

Okay, I'll rename all those source files and remove the duplication.

https://bitbucket.org/petsc/petsc-dev/commits/46f6a6b7413afa07caccfcc54b7fd6...