.gitignore: Delete now that we don't need this thing any more.
[catacomb] / src /
2020-08-09 Mark WoodingScatter the useful files into subdirectories by theme.