package.json: fix typo ("on after" => "one after") - Githubissues

coq / vscoq

Visual Studio Code extension for Coq

MIT License

336 stars 68 forks source link

package.json: fix typo ("on after" => "one after") #764

Closed JasonGross closed 5 months ago