# This directory is only used to collect coverage data which should
# never be indexed.
*
!.gitignore
