Aug. 13, 2011
12:31 p.m.
On 13 August 2011 09:42, Tudor Girba <tudor@tudorgirba.com> wrote:
A useful script for renaming a package that ensures also that extensions get renamed:
argh, and you send me this just after I did the whole thing by hand :) -- Damien Pollet type less, do more [ | ] http://people.untyped.org/damien.pollet