From 13d0f55865f8b1b851ce1e84597b144c5fd41662 Mon Sep 17 00:00:00 2001
From: Rob Austein <sra@hactrn.net>
Date: Sun, 13 Sep 2020 23:15:43 +0000
Subject: GC

---
 .../GitRepositories%2Fcore%2Fplatform%2Fcommon.md  | 25 ----------------------
 1 file changed, 25 deletions(-)
 delete mode 100644 raw-wiki-dump/GitRepositories%2Fcore%2Fplatform%2Fcommon.md

(limited to 'raw-wiki-dump/GitRepositories%2Fcore%2Fplatform%2Fcommon.md')

diff --git a/raw-wiki-dump/GitRepositories%2Fcore%2Fplatform%2Fcommon.md b/raw-wiki-dump/GitRepositories%2Fcore%2Fplatform%2Fcommon.md
deleted file mode 100644
index 3d484c4..0000000
--- a/raw-wiki-dump/GitRepositories%2Fcore%2Fplatform%2Fcommon.md
+++ /dev/null
@@ -1,25 +0,0 @@
-```
-#!htmlcomment
-
-This page is maintained automatically by a script.  Don't modify this page by hand,
-your changes will just be overwritten the next time the script runs.  Talk to your
-Friendly Neighborhood Repository Maintainer if you need to change something here.
-
-```
-
-```
-#!html
-<h1>platform/common</h1>
-
-<p>Support code that is used to build projects, but not tied to a particular platform.</p>
-
-<h2>Introduction</h2>
-
-<p>At present, this contains core_selector, a set of muxes to select a core
-by the most significant address bits of a memory-like architecture.</p>
-```
-
-[[RepositoryIndex(format=table,glob=core/platform/common)]]
-
-| Clone `https://git.cryptech.is/core/platform/common.git` |
-|---|
-- 
cgit v1.2.3