]> gitweb.factorcode.org Git - factor.git/commit
gemini.cli: use $PAGER
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 14 Jan 2023 23:52:26 +0000 (15:52 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 14 Jan 2023 23:52:26 +0000 (15:52 -0800)
commitb928c7115a0afd5c3b7df2f0c205f4b3a4bd0ded
treeeaacb8697dcfa52dd03e567face93f004bc60dfa
parente7ef299cbe5e26a6a00ebe81619fde57546354f1
gemini.cli: use $PAGER
extra/gemini/cli/cli.factor