From bebdbf03a67ab4ac9c586ceda127feaad78c8041 Mon Sep 17 00:00:00 2001 From: Steffen Lange Date: Sat, 8 Jul 2023 10:30:07 +0200 Subject: [PATCH] Removed GCC10 --- modules/GCC10.php | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 modules/GCC10.php diff --git a/modules/GCC10.php b/modules/GCC10.php deleted file mode 100644 index 73fa807..0000000 --- a/modules/GCC10.php +++ /dev/null @@ -1,15 +0,0 @@ -patch->setBranch('10'); - } - function check() : bool { - if ($this->fetch('https://gcc.gnu.org/')) - return $this->parse('/GCC ([\d\.]+)/'); - return false; - } -} - -?>