Remove a couple of dead .ini files.

The directories in question no longer exist.
This commit is contained in:
Eli Friedman 2015-11-23 19:32:36 -08:00
parent 6ab205a97e
commit 930b4bb7b7
2 changed files with 0 additions and 2 deletions