From 1bfb3024cf034a4b2b0706f68738f0ef0a949bdd Mon Sep 17 00:00:00 2001
From: thunderdog1138 <58536412+thunderdog1138@users.noreply.github.com>
Date: Wed, 18 Dec 2019 15:11:13 -0500
Subject: [PATCH] Delete description.txt

---
 mods/player_monoids/description.txt | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 mods/player_monoids/description.txt

diff --git a/mods/player_monoids/description.txt b/mods/player_monoids/description.txt
deleted file mode 100644
index 87dacddc..00000000
--- a/mods/player_monoids/description.txt
+++ /dev/null
@@ -1,2 +0,0 @@
-player_monoids is a library for managing global player state, such as physics
-overrides or player visual size.