From 940e45e66ba92cb856378d8f4f1741964baaf30d Mon Sep 17 00:00:00 2001 From: crep 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