| commit | e903aab83331aa828d28620a1b78d5f3a67254a3 | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Thu Dec 18 16:28:56 1997 +0000 |
| committer | Guido van Rossum <guido@python.org> | Thu Dec 18 16:28:56 1997 +0000 |
| tree | 6ea9026c926364893a7289ad8f8840efc672fc65 | |
| parent | b2c6ef83f4d0f5cc5b92578ae4f2e48e6a5f0eb0 [diff] [blame] |
Replace unprotected tilders by \~ -- an unprotected tilde is a non-breaking space!
diff --git a/Doc/lib/libtermios.tex b/Doc/lib/libtermios.tex index ca309c8..1db8af8 100644 --- a/Doc/lib/libtermios.tex +++ b/Doc/lib/libtermios.tex
@@ -83,7 +83,7 @@ fd = sys.stdin.fileno() old = termios.tcgetattr(fd) new = termios.tcgetattr(fd) - new[3] = new[3] & ~TERMIOS.ECHO # lflags + new[3] = new[3] & \~TERMIOS.ECHO # lflags try: termios.tcsetattr(fd, TERMIOS.TCSADRAIN, new) passwd = raw_input(prompt)