Delete mod.conf

This commit is contained in:
thunderdog1138 2019-12-18 15:11:27 -05:00 committed by GitHub
parent 747878e516
commit 32cbdb24f1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions

View File

@ -1 +0,0 @@
name=player_monoids