Skip to content

[protocol] New request coq/getDocument to get serialized document.#351

Merged
ejgallego merged 1 commit intomainfrom get_documentFeb 16, 2023
+182-1

Commits

Commits on Feb 16, 2023