Version 4.0#131

Merged

capocchi merged 5 commits into

Oct 13, 2020

Commits on Oct 8, 2020

update for devsimpy-nogui compatibility
capocchi
committed

Commits on Oct 9, 2020

update for devsimpy-nogui.py (tic server has been updated with version 4.0)
capocchi
committed

Commits on Oct 12, 2020

bug fix and devsimpy-nogui improve
capocchi
committed

Commits on Oct 13, 2020