lean: put elan's bin on PATH, so a fresh checkout finds lake - #38

lean: put elan's bin on PATH, so a fresh checkout finds lake#38

rjrodger merged 2 commits into

mainvoxgig/plugin:mainfrom

claude/language-ports-tabulate-pv35wrvoxgig/plugin:claude/language-ports-tabulate-pv35wrCopy head branch name to clipboard