[patch] applied: rio-man-4

[9cha...@cat-v.org]

Created Jun 12 12:41 by none
Processed Jun 12 18:41 by geoff

Replace $riosrv by $wsys.

--
/sys/man/4/rio
rio.orig:379,385 - /n/sources/patch/applied/rio-man-4/rio:379,385
to be printed there.
.IP
.EX
- mount $riosrv /tmp 'new -r 0 0 128 64 -pid '$pid
+ mount $wsys /tmp 'new -r 0 0 128 64 -pid '$pid
echo hi > /tmp/cons
.EE
.PP