Re: [committed] Add copyright update script to contrib/

2013-02-04 Thread Richard Sandiford
"Bernhard Reutner-Fischer" writes: > On 4 February 2013 20:42:55 Richard Sandiford > wrote: >> ...now that all the output has been approved. >> >> Richard >> >> >> contrib/ >> * update-copyright.pl: New file. >> >> Index: contrib/update-copyright.pl >> ==

Re: [committed] Add copyright update script to contrib/

2013-02-04 Thread Bernhard Reutner-Fischer
On 4 February 2013 20:42:55 Richard Sandiford wrote: ...now that all the output has been approved. Richard contrib/ * update-copyright.pl: New file. Index: contrib/update-copyright.pl === --- /dev/null 2013-01-15 19:11