From b3dc71024e75a505a7f2d6c78c7e4a2e1e329e0a Mon Sep 17 00:00:00 2001 From: Richard Sandiford Date: Mon, 4 Feb 2013 20:47:33 +0000 Subject: [PATCH] Rename update-copyright.pl to update-copyright.py. From-SVN: r195736 --- contrib/ChangeLog | 2 +- contrib/{update-copyright.pl => update-copyright.py} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename contrib/{update-copyright.pl => update-copyright.py} (100%) diff --git a/contrib/ChangeLog b/contrib/ChangeLog index 3d5b3fca7c5..eaccdbdeee9 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,6 +1,6 @@ 2013-02-04 Richard Sandiford - * update-copyright.pl: New file. + * update-copyright.py: New file. 2013-01-15 David Blaikie diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.py similarity index 100% rename from contrib/update-copyright.pl rename to contrib/update-copyright.py