From 891730d13b324fad916572a82f0bd610c5de9aad Mon Sep 17 00:00:00 2001
From: Rob Austein <sra@hactrn.net>
Date: Sun, 13 Sep 2020 23:06:24 +0000
Subject: Rename for conversion

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

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

diff --git a/raw-wiki-dump/GitRepositories%2Fcore%2Fplatform%2Fcommon b/raw-wiki-dump/GitRepositories%2Fcore%2Fplatform%2Fcommon
deleted file mode 100644
index c56c2f2..0000000
--- a/raw-wiki-dump/GitRepositories%2Fcore%2Fplatform%2Fcommon
+++ /dev/null
@@ -1,24 +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