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 /pkg/plan9port/src | |
| 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 'pkg/plan9port/src')
| m--------- | pkg/plan9port/src | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/pkg/plan9port/src b/pkg/plan9port/src deleted file mode 160000 -Subproject 35d43924484b88b9816e40d2f6bff4547f3eec4 |
