# Default ignored files /shelf/ /workspace.xml .idea primes.txt timings.csv