Options button features in API updated#80

Merged

pradeeban merged 3 commits intoControlCore-Project:mainfrom

Rahuljagwani:docker

Jun 26, 2023

Commits on Jun 22, 2023

docker, params, maxtime made accesible from concore-editor
Rahuljagwani
committed

Commits on Jun 23, 2023

makedocker.bat added
Rahuljagwani
committed

Commits on Jun 24, 2023

exec error solved for posix
Rahuljagwani
committed