docs: fix stale project-structure paths in README and CONTRIBUTING#1169

tcoratger merged 1 commit into

leanEthereum:mainleanEthereum/leanSpec:mainfrom

aryaethn:docs/fix-project-structure-pathsaryaethn/leanSpec:docs/fix-project-structure-pathsCopy head branch name to clipboard