wenqing/ogs — pull request #4 by norihiro-w (2013-12-16 12:56:28+00:00)
Title: add hints for PETSc dir for debian

this PR is for testing. do not merge this.