From 71487660812754e5f26f26595b6c3d456f9f6db8 Mon Sep 17 00:00:00 2001
From: Rob Austein <sra@hactrn.net>
Date: Fri, 8 Oct 2021 00:30:08 -0400
Subject: Get rid of conversion stuff, just build content -> website

---
 tools | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 tools

(limited to 'tools/rpki-wiki-to-markdown.py')

diff --git a/tools b/tools
deleted file mode 160000
index e3e70b8..0000000
--- a/tools
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit e3e70b874873d8586f84606d4d76c162f36846ce
-- 
cgit v1.2.3