diff options
| author | Michael Forney <mforney@mforney.org> | 2019-11-04 21:33:58 -0800 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2019-11-04 23:52:01 -0800 |
| commit | e2f71b89b09b45e01cae2c3a6e48260acc6bea79 (patch) | |
| tree | bde4d5c703025bafb6905ac09c13dec4fd5baaea /.gitmodules | |
| parent | ea08bc71b717624bb3a1bb69f832cc3e816b21fd (diff) | |
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.
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 4 |
1 files changed, 0 insertions, 4 deletions
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 |