search

exercism / coq

Exercism exercises in Coq.
https://exercism.org/tracks/coq
MIT License
18 stars 11 forks source link

🤖 Remove `online_editor.ace_editor_language` key #72

Closed ErikSchierboom closed 3 years ago

ErikSchierboom commented 3 years ago

We've recently switched from Ace to CodeMirror as our editor. This PR removes the now obsolete .online_editor.ace_editor_language key.

Tracking

https://github.com/exercism/v3-launch/issues/40