Merge pull request #16 from ShaheedHaque/filenames2
authorEli Bendersky <eliben@users.noreply.github.com>
Fri, 27 Dec 2013 14:18:06 +0000 (06:18 -0800)
committerEli Bendersky <eliben@users.noreply.github.com>
Fri, 27 Dec 2013 14:18:06 +0000 (06:18 -0800)
Centralise the logic for getting the filename for a DIE.


Trivial merge