Remove unnecessary include

This commit is contained in:
Olivier Berten 2013-03-29 19:42:45 +01:00
parent 1653b5e0e5
commit 9a5ab72426

View File

@ -6,7 +6,6 @@ $_POST = array();
include('include/db.php'); include('include/db.php');
include('include/txt.php'); include('include/txt.php');
include('include/sources.php'); include('include/sources.php');
include('include/finediff.php');
function makeimg($c) { function makeimg($c) {
$tex = mgabc2tex($c); $tex = mgabc2tex($c);