]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #2672 from drwells/remove-extra-stars
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Tue, 7 Jun 2016 13:55:56 +0000 (09:55 -0400)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Tue, 7 Jun 2016 13:55:56 +0000 (09:55 -0400)
commit6d12c52a8a4047ec43c7a05bf33b674d301f9d5a
treea6ddc6456bc04a98dec165287108915db1cdf1ea
parentfaf4fc55e12c43a2f7f6c4462cbcd24d1d9a81ac
parentb928178006a7f9f664472ae9c45f78fe4ff43ba9
Merge pull request #2672 from drwells/remove-extra-stars

Remove some extra '*'s in comments.

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.