dealii/dealii — pull request #215 by bangerth (2014-10-30 15:22:55+00:00)
Title: Cleanups 1

3 otherwise unrelated cleanups and doc updates. Nothing spectacular here.