dealii/dealii — pull request #3 by tamiko (2014-07-21 07:23:52+00:00)
Title: Cleanup populated svn keywords

It seems that we had a lot of leftovers of accidentally populated $ID
svn keywords.