dealii/dealii — pull request #127 by bangerth (2014-09-02 14:45:04+00:00)
Title: Fix up a few places that accidentally didn't get changed when downsampling data

This addresses a couple of places where I forgot to update text/code when downsampling data.