]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8127 from tjhei/wrap_comment_warnings
authorWolfgang Bangerth <bangerth@colostate.edu>
Mon, 13 May 2019 08:47:07 +0000 (02:47 -0600)
committerGitHub <noreply@github.com>
Mon, 13 May 2019 08:47:07 +0000 (02:47 -0600)
commit4b61079fe7fa38c1e3858ef117001070089c842c
treedc05c6859437288b6220b6398d167f8d1369593e
parente29e6e7c65687a62ec52768df52a0a1a27d5146a
parent9c406a98ebf42391a42dad0bddd8850cf199508d
Merge pull request #8127 from tjhei/wrap_comment_warnings

release: wrap_comment warnings

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.