Set LEAN_MAIN_USE_THREAD=0 env before main executes#59

paulcadman merged 2 commits into

mainfunexists/raylean:mainfrom

set-lean-main-use-thread-0funexists/raylean:set-lean-main-use-thread-0Copy head branch name to clipboard