]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8511 from tjhei/bad-emails-and-names
authorDavid Wells <drwells@email.unc.edu>
Thu, 8 Aug 2019 23:15:51 +0000 (17:15 -0600)
committerGitHub <noreply@github.com>
Thu, 8 Aug 2019 23:15:51 +0000 (17:15 -0600)
commit5e6bc00896e6eebccaaf0105f52c166dbcfe2005
treeab0d1780ec8f10437b6225c7f85c36bc84bcca07
parent101aa67ff9f6dc97fc8aa96546fc52d3b412a6a9
parent5a9a3e1b4dc1144f499b5a99159f378675a02aca
Merge pull request #8511 from tjhei/bad-emails-and-names

indent: check for bad usernames and emails

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.