Delete description.txt

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

View File

@ -1,2 +0,0 @@
player_monoids is a library for managing global player state, such as physics
overrides or player visual size.