Skip to content

add option to close server and end electron process#318

Merged
pfitzseb merged 1 commit intoJuliaGizmos:masterfrom alexriss:masterDec 8, 2023

Commits

Commits on Dec 6, 2023