]> gitweb.factorcode.org Git - factor.git/commit
terminal: fix typo in terminal-height name
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 23 Aug 2023 03:52:23 +0000 (20:52 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 23 Aug 2023 03:52:23 +0000 (20:52 -0700)
commit7b4501781cc625592825f34f76ae00333902d578
treeba1d5788a93a9690e3384a579d1a1fa9fb76379c
parent37ae467470abb58cfd904e2998ba44c98f42c9ca
terminal: fix typo in terminal-height name
extra/terminal/terminal.factor