add synonyms linter#447

Merged

missinglink merged 2 commits intomasterfrom

synonyms_linter

Jun 15, 2020

Commits on Jun 12, 2020

feat(synonyms): add synonyms linter
missinglink
committed

Commits on Jun 15, 2020

Add more information to synonyms linter output

orangejulius
authored and
missinglink
committed