Warn if PETSc is already initialised inside petsctools.init.#38

connorjward merged 2 commits into

mainfiredrakeproject/petsctools:mainfrom

connorjward/init-changesfiredrakeproject/petsctools:connorjward/init-changesCopy head branch name to clipboard