Removing more unnecessary files from default repo
The current version leaves a number of unnecessary files in the generated default repo. This removes them.
The current version leaves a number of unnecessary files in the generated default repo. This removes them.