Closed zacsketches closed 9 years ago
drill reduce now creates a filename along the lines of foo.txt_final. I want foo_final.txt
Corrected here: b6ecec89093900bc374a3644d6366eaf768cfef3
drill reduce now creates a filename along the lines of foo.txt_final. I want foo_final.txt