Google
 

Trailing-Edge - PDP-10 Archives - tops20tools_v6_9-jan-86_dumper - tools/sed2/endkey.rnh
There are 5 other files named endkey.rnh in the archive. Click here to see a list.
.! This file is endkey.rnh
.set time ,,-1		!decrement subtopic level number
.rm+2			!increase right margin