remove unneeded del...
authorAndreas Monzner <andreas.monzner@multimedia-labs.de>
Mon, 20 Oct 2008 13:59:01 +0000 (13:59 +0000)
committerAndreas Monzner <andreas.monzner@multimedia-labs.de>
Mon, 20 Oct 2008 13:59:01 +0000 (13:59 +0000)
commita6a6ad4a03998c6dd499ab4ca6f3fd969ef260b0
treeab950f1bbfb54e232bef4ff397f58c3fb1b017fb
parent630c06f1073b997e7e87e90dc2c5862b48f7b3ff
remove unneeded del...
lib/python/Components/TimerSanityCheck.py