From e0e2072ad8e86ed807af723f448fd5e387cabfc6 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Sat, 21 May 2022 21:26:04 -0600 Subject: [PATCH] Give a shell script a proper suffix. --- contrib/utilities/{update-copyright => update-copyright.sh} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename contrib/utilities/{update-copyright => update-copyright.sh} (100%) diff --git a/contrib/utilities/update-copyright b/contrib/utilities/update-copyright.sh similarity index 100% rename from contrib/utilities/update-copyright rename to contrib/utilities/update-copyright.sh -- 2.39.5