fix indent, cleanup comments
authordaniel <daniel.kinzler@wikimedia.de>
Tue, 12 Jun 2012 09:12:19 +0000 (11:12 +0200)
committerdaniel <daniel.kinzler@wikimedia.de>
Tue, 12 Jun 2012 09:12:19 +0000 (11:12 +0200)
commit2757fc7b1ccd35825c0748805205526f45e0a396
tree060105170efae99bd736c8ebcd8e2dc2a2adacca
parent1116aa4f628138654dfec87f7720751584f0fc48
fix indent, cleanup comments
includes/diff/DifferenceEngine.php