change name of file-extension helper (addresses #34)

pull/84/head
Matthew Butterick 10 years ago
parent 39b229f786
commit ce9f652c55
Loading…
Cancel
Save