Skip to content

Move the editor hints to the top of the file

Oliver Sander requested to merge place-editor-hints-in-matrix into master

That is where they are normally placed in Dune.

Merge request reports