Code

Fix help printing#754

Code

Merged

ejgallego merged 4 commits intoejgallego:mainejgallego/coq-lsp:mainfrom ineol:help-cmdineol/coq-lsp:help-cmdCopy head branch name to clipboardJun 5, 2024

+20-5

Commits

Commits on Jun 5, 2024

• Fix flake file

  

  ineol

  authored and

  ejgallego

  committed
  8cc5232

• Fix crash with the --help option

  

  ineol

  authored and

  ejgallego

  committed
  79db4eb

• [coq-lsp] Tweak to --help crash fix.

  ejgallego

  committed
  5df176f

• One more tweak

  ineol

  committed
  5b49b88