{"shas":[["09bb46b09310838850cd4723fa6972adbc313079","1db01d43e08596f43a65fb393d969b98ee5b4dc6@onemorebug.com","one-liner for renaming PNG files for input to ffmpeg, for making movies","textarcana"]],"ref":"refs/heads/master","size":1,"head":"09bb46b09310838850cd4723fa6972adbc313079","push_id":33695351}