directory /tools/coverage_stats/ @ 1:d1fdfaae5dbe draft

name size permissions
[up] drwxr-xr-x
file README.rst 3812 -rw-r--r--
file coverage_stats.py 6048 -rwxr-xr-x
file coverage_stats.xml 4545 -rw-r--r--
file tool_dependencies.xml 263 -rw-r--r--