Add 3rd party Why3 grammar to Supported Languages#4382

joshgoebel merged 1 commit into

highlightjs:mainhighlightjs/highlight.js:mainfrom

JGalego:feat/3rd-party-why3JGalego/highlight.js:feat/3rd-party-why3Copy head branch name to clipboard