From 81a4ec377c8a50ea2b865ef1b909ab944596c558 Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Fri, 8 May 2020 14:19:16 -0400 Subject: [PATCH] modify script do not use the words in this commit --- contrib/utilities/update-copyright | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/utilities/update-copyright b/contrib/utilities/update-copyright index a227d9203a..b29a2d7364 100755 --- a/contrib/utilities/update-copyright +++ b/contrib/utilities/update-copyright @@ -17,7 +17,7 @@ # Purpose: Update the copyright year of every file based on the last # modification recorded in the git logs - +# if test ! -d source -o ! -d include -o ! -d examples ; then echo "*** This script must be run from the top-level directory of deal.II." -- 2.39.5