Code

Add a Petanque TCP server#697

Code

Merged

ejgallego merged 2 commits intoejgallego:mainejgallego/coq-lsp:mainfrom gbdrt:pytanquegbdrt/coq-lsp:pytanqueCopy head branch name to clipboardMay 30, 2024

+193-21

Commits

Commits on May 30, 2024

• [petanque] Add TCP/IP pet-server

  

  gbdrt

  authored and

  ejgallego

  committed
  b56a85c

• [pet-server] Do not log response

  

  gbdrt

  authored and

  ejgallego

  committed
  38d0711