From 094cfd5a3d0dc10fc0f5712320ee41960ff66975 Mon Sep 17 00:00:00 2001
From: Lars Brinkhoff <lars@nocrew.org>
Date: Fri, 2 Dec 2022 06:52:58 +0100
Subject: [PATCH] Fix pdp10-kl TTY settings.

---
 build/pdp10-kl/run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/pdp10-kl/run b/build/pdp10-kl/run
index 28bafaa3..78cfa71d 100644
--- a/build/pdp10-kl/run
+++ b/build/pdp10-kl/run
@@ -7,7 +7,7 @@ set tua dis
 set lpt dis
 set dc disable
 set tty enabled
-set tty 8b lines=15
+set tty 8b
 at -u tty 10007
 # VT52
 at -u tty line=14,10018 speed=9600