From e2f71b89b09b45e01cae2c3a6e48260acc6bea79 Mon Sep 17 00:00:00 2001
From: Michael Forney <mforney@mforney.org>
Date: Mon, 4 Nov 2019 21:33:58 -0800
Subject: Remove plan9port (at least for now)

We are now using Federico G. Benavento's UNIX rc port, and set the
default editor to ed.

Maybe in the future, plan9port will be re-added for the plumber,
acme, or something else.
---
 .gitmodules | 4 ----
 1 file changed, 4 deletions(-)

(limited to '.gitmodules')

diff --git a/.gitmodules b/.gitmodules
index a804abba..318cfba3 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -216,10 +216,6 @@
 	path = pkg/pixman/src
 	url = https://anongit.freedesktop.org/git/pixman.git
 	ignore = all
-[submodule "pkg/plan9port/src"]
-	path = pkg/plan9port/src
-	url = https://github.com/9fans/plan9port
-	ignore = all
 [submodule "pkg/qbe/src"]
 	path = pkg/qbe/src
 	url = git://c9x.me/qbe.git
-- 
cgit v1.2.3