maps index: link to the coverage page; prettier-ignore the ISC language page - #213

maps index: link to the coverage page; prettier-ignore the ISC language page#213

ronaldtse merged 2 commits into

maininterscript/interscript.github.io:mainfrom

docs/coverage-gapsinterscript/interscript.github.io:docs/coverage-gapsCopy head branch name to clipboard