Rename editor preference section heading#7428

Closed

gtsiolis wants to merge 1 commit intomainfrom gt/rename-editor-preference-section-title

+6-6

Commits on Jan 4, 2022

Rename editor preference section heading

gtsiolis
authored and
jeanp413
committed