Skip to content

Improve highlighting of names in given declarations#132

Merged
MaximeKjaer merged 1 commit intoscala:masterfrom
nicolasstucki:improve-given-with-name-highlighting
Jul 21, 2020
Merged

Improve highlighting of names in given declarations#132
MaximeKjaer merged 1 commit intoscala:masterfrom
nicolasstucki:improve-given-with-name-highlighting

Commits

Commits on Jul 21, 2020