Rename update-copyright.pl to update-copyright.py.

author Richard Sandiford <rdsandiford@googlemail.com>

Mon, 4 Feb 2013 20:47:33 +0000 (20:47 +0000)

committer Richard Sandiford <rsandifo@gcc.gnu.org>

Mon, 4 Feb 2013 20:47:33 +0000 (20:47 +0000)
author Richard Sandiford <rdsandiford@googlemail.com>
Mon, 4 Feb 2013 20:47:33 +0000 (20:47 +0000)
committer Richard Sandiford <rsandifo@gcc.gnu.org>
Mon, 4 Feb 2013 20:47:33 +0000 (20:47 +0000)
diff --git a/contrib/ChangeLog b/contrib/ChangeLog

index 3d5b3fca7c5fd86ac38e20708d5f565b03ec5d4b..eaccdbdeee9c6563461cc64a62a46283192cbf4e 100644 (file)
--- a/contrib/ChangeLog
+++ b/contrib/ChangeLog
@@ -1,6 +1,6 @@
  2013-02-04  Richard Sandiford  <rdsandiford@googlemail.com>
  
-       * update-copyright.pl: New file.
+       * update-copyright.py: New file.
  
  2013-01-15  David Blaikie <dblaikie@gmail.com>
  
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
author	Richard Sandiford <rdsandiford@googlemail.com>
	Mon, 4 Feb 2013 20:47:33 +0000 (20:47 +0000)
committer	Richard Sandiford <rsandifo@gcc.gnu.org>
	Mon, 4 Feb 2013 20:47:33 +0000 (20:47 +0000)
contrib/ChangeLog		patch \| blob \| blame \| history
contrib/update-copyright.py	[moved from contrib/update-copyright.pl with 100% similarity]	patch \| blob \| blame \| history