Commit 11470212 authored by Robbert Krebbers's avatar Robbert Krebbers

Fix some typos in Editors.md.

parent d2bd0561
Pipeline #13274 passed with stage
in 10 minutes and 51 seconds