diff options
author | Kaz Kylheku <kaz@kylheku.com> | 2019-11-15 06:23:04 -0800 |
---|---|---|
committer | Kaz Kylheku <kaz@kylheku.com> | 2019-11-15 06:23:04 -0800 |
commit | a687b99312a933094342f11b43dce0399b51f108 (patch) | |
tree | 841986d7e07ffe259623fa722b6807e2e964c9db | |
parent | 6602a8984d77e4f1f834b8cf5b6cb63224715821 (diff) | |
download | txr-a687b99312a933094342f11b43dce0399b51f108.tar.gz txr-a687b99312a933094342f11b43dce0399b51f108.tar.bz2 txr-a687b99312a933094342f11b43dce0399b51f108.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.1 | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |