Skip to content

bugfix: rename end marker for local definitions#5803

Merged
kasiaMarek merged 1 commit intoscalameta:mainfrom kasiaMarek:pc-end-marker-renameNov 8, 2023
+134-15

Commits

Commits on Nov 7, 2023