dealii/dealii — pull request #169 by kronbichler (2014-09-22 15:47:22+00:00)
Title: Remove stray Id tag from svn from all headers

As discussed in the developers list, remove all stray subversion $Id$ tags from the headers of our files.