From abd0ac7890eb2bca6f811176a3b98765897059b9 Mon Sep 17 00:00:00 2001
From: crep <romain.goffe@gmail.com>
Date: Tue, 27 Apr 2010 22:12:39 +0200
Subject: [PATCH] rename latex-preprocessing tool to checker.sh

---
 utils/{latex-preprocessing => checker.sh} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename utils/{latex-preprocessing => checker.sh} (100%)

diff --git a/utils/latex-preprocessing b/utils/checker.sh
similarity index 100%
rename from utils/latex-preprocessing
rename to utils/checker.sh