dealii/dealii — pull request #176 by bangerth (2014-09-26 22:53:32+00:00)
Title: Shuffle glossary: the ManifoldId entry was in the wrong place.

No actual change, just moving an entry.