Code

Fix spurious warning from ps#64

Code

Merged

damiendoligez merged 1 commit intotlaplus:maintlaplus/tlapm:mainfrom damiendoligez:fix-bogus-warningdamiendoligez/tlapm:fix-bogus-warningCopy head branch name to clipboardMay 19, 2022

+4-2

Commits

Commits on Feb 3, 2022

• avoid spurious "screen size is bogus" by passing explicit lines and columns to ps

  damiendoligez

  committed
  7c52040

  Copy full SHA for 7c52040