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 /scripts/outdated.py | |
| 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 'scripts/outdated.py')
| -rw-r--r-- | scripts/outdated.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/outdated.py b/scripts/outdated.py index a2da170b..a6dd3ef3 100644 --- a/scripts/outdated.py +++ b/scripts/outdated.py @@ -23,7 +23,6 @@ skip = set([ 'libutp', 'mc', 'openbsd', - 'plan9port', 'qbe', 'sbase', 'sdhcp', |