From 63650c3aeab2fa1587fb21e2dffb6497dea81513 Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Tue, 23 Nov 2021 23:26:41 -0500
Subject: [PATCH] remove duplicate repository from list

---
 static/source.html | 1 -
 1 file changed, 1 deletion(-)

diff --git a/static/source.html b/static/source.html
index 51f4e208..20941c81 100644
--- a/static/source.html
+++ b/static/source.html
@@ -145,7 +145,6 @@
                     <li><a href="https://github.com/GrapheneOS/platform_packages_modules_Permission">platform_packages_modules_Permission</a></li>
                     <li><a href="https://github.com/GrapheneOS/platform_packages_modules_Wifi">platform_packages_modules_Wifi</a></li>
                     <li><a href="https://github.com/GrapheneOS/platform_packages_providers_DownloadProvider">platform_packages_providers_DownloadProvider</a></li>
-                    <li><a href="https://github.com/GrapheneOS/platform_system_core">platform_system_core</a></li>
                     <li><a href="https://github.com/GrapheneOS/platform_system_bt">platform_system_bt</a></li>
                     <li><a href="https://github.com/GrapheneOS/platform_system_core">platform_system_core</a></li>
                     <li><a href="https://github.com/GrapheneOS/platform_system_extras">platform_system_extras</a></li>