]> git.sesse.net Git - remoteglot/commitdiff
More simplification in print_pv().
authorSteinar H. Gunderson <sgunderson@bigfoot.com>
Thu, 29 Dec 2022 09:07:10 +0000 (10:07 +0100)
committerSteinar H. Gunderson <sgunderson@bigfoot.com>
Thu, 29 Dec 2022 09:07:10 +0000 (10:07 +0100)

No differences found