Rename update-copyright.pl to update-copyright.py.
authorRichard Sandiford <rdsandiford@googlemail.com>
Mon, 4 Feb 2013 20:47:33 +0000 (20:47 +0000)
committerRichard Sandiford <rsandifo@gcc.gnu.org>
Mon, 4 Feb 2013 20:47:33 +0000 (20:47 +0000)
commitb3dc71024e75a505a7f2d6c78c7e4a2e1e329e0a
tree609e67f92141736c45c659a8d937f8317007f51c
parentae526fe5cb554626a0b656c8c13ad1f66844fa43
Rename update-copyright.pl to update-copyright.py.

From-SVN: r195736
contrib/ChangeLog
contrib/update-copyright.pl [deleted file]
contrib/update-copyright.py [new file with mode: 0644]