Skip to content
Snippets Groups Projects
Commit 6a28eda6 authored by Flavio TARSETTI's avatar Flavio TARSETTI
Browse files

Merge branch 'misc' into 'master'

Miscellaneous editor-specific improvements

Closes #73, #118, #135, and #122

See merge request !8
parents 420ce36d 79cd6950
No related branches found
No related tags found
1 merge request!8Miscellaneous editor-specific improvements
Pipeline #