From d61d2c61015534251271a327a6a1ec644eed96e1 Mon Sep 17 00:00:00 2001
From: nodiscc <nodiscc@gmail.com>
Date: Mon, 25 Sep 2023 01:02:06 +0200
Subject: [PATCH] remove unused 'Other' platform

---
 platforms/other.yml | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 platforms/other.yml

diff --git a/platforms/other.yml b/platforms/other.yml
deleted file mode 100644
index ced1dff927..0000000000
--- a/platforms/other.yml
+++ /dev/null
@@ -1,2 +0,0 @@
-name: Other
-description: ""
\ No newline at end of file