Closed WebFreak001 closed 6 years ago
Still one more thing needs to be done before this is merged: new command line API
https://github.com/Pure-D/workspace-d/wiki/v3-upgrade-guide
just the documentation on the message format needs to be updated now.
Still one more thing needs to be done before this is merged: new command line API