thirdparty/coverage/coverage.egg-info/top_level.txt
author Lennard de Rijk <ljvderijk@gmail.com>
Fri, 17 Apr 2009 21:36:49 +0000
changeset 2199 9e22f90ec781
parent 780 042aafcd7dce
permissions -rw-r--r--
Rename that should have been part of r2953. Patch by: Lennard de Rijk Reviewed by: to-be-reviewed

coverage