update build system #22

Merged
budRich merged 6 commits from next into master 2022-05-24 18:53:25 +00:00
budRich commented 2022-05-24 18:53:09 +00:00 (Migrated from github.com)

also improved documentation
fixed a bug where terminal wasn't reset correctly when quitting.

also improved documentation fixed a bug where terminal wasn't reset correctly when quitting.
Sign in to join this conversation.
No description provided.