autotimer: use system difflib
authorMoritz Venn <moritz.venn@freaque.net>
Tue, 9 Aug 2011 12:00:45 +0000 (14:00 +0200)
committerMoritz Venn <moritz.venn@freaque.net>
Tue, 9 Aug 2011 16:23:02 +0000 (18:23 +0200)
commitb12a0ec2f38da1ddecf7bc4fdad1c192067c65de
tree1cebf7e3e002c0caf25b9814389eafe24400de80
parent12d2a7b4f9d69792666b17d1a94609e0c1276539
autotimer: use system difflib

we should rather use system difflib (by pulling it as a dependency) than
shipping the module ourselves. this saves space and possibly computation
time.
autotimer/CONTROL/control
autotimer/src/difflib.py [deleted file]