github.com/PDP-10.its
1
0
Fork 0
mirror of https://github.com/PDP-10/its.git synced 2026-01-14 23:55:40 +00:00
Code Issues Releases Wiki Activity

Remove obsolete host names from LSRDMP.

Browse Source
This commit is contained in:
Lars Brinkhoff 2018-11-26 12:10:45 +01:00
parent 5d25b4d0b0
commit 9ff6974b7d
1 changed files with 1 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/bawden/lsrdmp.32 → src/bawden/lsrdmp.33
View File

@ -278,13 +278,7 @@ define hstirp body
define defhst short,long,mail
body
termin
defhst lcs,lcs.mit.edu,lcs
defhst ai,ai.mit.edu,ai
defhst symbolics,symbolics.com,symbolics
defhst mc,mc,flush
defhst ml,ml,flush
defhst wh,wheaties,ai
defhst oz,oz,ai
defhst db,db,db
termin
localp: 0 ; non-0 => output local entries instead.