From: Matthias Maier Date: Tue, 12 Jun 2018 16:45:02 +0000 (-0500) Subject: Merge pull request #6736 from masterleinad/restrict_clang_tidy X-Git-Tag: v9.1.0-rc1~1049 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ba34633ab84717f48287c5503c9733d2c6db386d;p=dealii.git Merge pull request #6736 from masterleinad/restrict_clang_tidy Restrict directories to apply clang-format to --- ba34633ab84717f48287c5503c9733d2c6db386d