summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKaz Kylheku <kaz@kylheku.com>2019-11-15 06:23:04 -0800
committerKaz Kylheku <kaz@kylheku.com>2019-11-18 14:26:20 -0800
commitecf43152d28220ca90725d62aa821829e3ab0a1f (patch)
tree841986d7e07ffe259623fa722b6807e2e964c9db
parentbf07017f8a43070c62979f8c6ac0015d6f6e9b4b (diff)
downloadtxr-ecf43152d28220ca90725d62aa821829e3ab0a1f.tar.gz
txr-ecf43152d28220ca90725d62aa821829e3ab0a1f.tar.bz2
txr-ecf43152d28220ca90725d62aa821829e3ab0a1f.zip
doc: wrong word under stream sockets.
* txr.1: The word "times" appeared in place of "types". Reported by vapnik spaknik.
-rw-r--r--txr.12
1 files changed, 1 insertions, 1 deletions
diff --git a/txr.1 b/txr.1
index dd013a34..ea82953f 100644
--- a/txr.1
+++ b/txr.1
@@ -60238,7 +60238,7 @@ program to see a network stream differently based on what platform it is
running on. Line ending conversion has to do with how a platform locally stores
text files, whereas network streams are almost always external formats.
-Like other stream times, stream sockets are buffered and marked as no
+Like other stream types, stream sockets are buffered and marked as no
non-real-time streams. Specifying the
.str i
mode in