From 2ad0714d15376083c5a26d500c3a62565f754f6e Mon Sep 17 00:00:00 2001
From: seth <email_git_7624@wg-karlsruhe.de>
Date: Mon, 27 Oct 2014 22:05:21 +0100
Subject: [PATCH] Rename pdf_downsample.pl to pdf_downsample

---
 pdf_downsample.pl => pdf_downsample | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename pdf_downsample.pl => pdf_downsample (100%)

diff --git a/pdf_downsample.pl b/pdf_downsample
similarity index 100%
rename from pdf_downsample.pl
rename to pdf_downsample