dealii/dealii — pull request #395 by tjhei (2014-12-31 14:05:48+00:00)
Title: wrapcomments paren handling

Correctly handle an opening parenthesis directly in front of @ref and
fix the one place we use it. This addresses #393.