thirdparty/coverage/coverage.egg-info/top_level.txt
changeset 780 042aafcd7dce
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thirdparty/coverage/coverage.egg-info/top_level.txt	Thu Jan 08 15:31:33 2009 +0000
@@ -0,0 +1,1 @@
+coverage