dealii/dealii — pull request #381 by tjhei (2014-12-26 16:47:30+00:00)
Title: wrapcomments.py @ref handling

Correctly handle @ref in the wrapcomments.py script. We need to keep the
description in quotes in one line and move everything else to the next line
except immediate punctuation.

Reprocess all the files with these new changes.