Rename pdf_downsample.pl to pdf_downsample

wp-seth · Oct 27, 2014 · 2ad0714 · 2ad0714
1 parent 541af4e
commit 2ad0714
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/pdf_downsample.pl → pdf_downsample b/pdf_downsample.pl → pdf_downsample