From 9a5ab72426bd83f897cecb0c3e750d9445cc37ea Mon Sep 17 00:00:00 2001
From: Olivier Berten <olivier.berten@gmail.com>
Date: Fri, 29 Mar 2013 19:42:45 +0100
Subject: [PATCH] Remove unnecessary include

---
 chant_edit.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/chant_edit.php b/chant_edit.php
index 848526a..c73aef7 100644
--- a/chant_edit.php
+++ b/chant_edit.php
@@ -6,7 +6,6 @@ $_POST = array();
 include('include/db.php');
 include('include/txt.php');
 include('include/sources.php');
-include('include/finediff.php');
 
 function makeimg($c) {
 	$tex = mgabc2tex($c);