From 9c0262e0bd2f40cdc85e8ad85c6e10d715b41244 Mon Sep 17 00:00:00 2001
From: rubyowo <perhaps-you-know@what-is.ml>
Date: Thu, 16 Mar 2023 15:52:24 +0400
Subject: [PATCH] docs: monkeytype is not a userstyle

---
 resources/ports.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/ports.yml b/resources/ports.yml
index 809c2f6..050e946 100644
--- a/resources/ports.yml
+++ b/resources/ports.yml
@@ -474,7 +474,7 @@ ports:
     monkeytype:
         name: monkeytype
         category: leisure
-        platform: userstyle
+        platform: agnostic
         icon: monkeytype.svg
         color: text
     moon-animator-2: