From 9643b478a1dabb92ed5228562d4e98b91a9f336c Mon Sep 17 00:00:00 2001 From: Daniel Micay Date: Sun, 17 Jan 2021 17:19:25 -0500 Subject: [PATCH] remove unnecessary repositories --- static/source.html | 2 -- 1 file changed, 2 deletions(-) diff --git a/static/source.html b/static/source.html index 48d46fae..8ab75865 100644 --- a/static/source.html +++ b/static/source.html @@ -96,13 +96,11 @@
  • device_google_bonito
  • device_google_bonito-sepolicy
  • device_google_bramble
    • -
  • device_google_bramble-sepolicy
  • device_google_coral
  • device_google_coral-sepolicy
  • device_google_crosshatch
  • device_google_crosshatch-sepolicy
  • device_google_redfin
    • -
  • device_google_redfin-sepolicy
  • device_google_sunfish
  • device_google_sunfish-sepolicy
  • kernel_configs