summaryrefslogtreecommitdiff
path: root/.idea
AgeCommit message (Expand)Author
2020-06-30Add Grazie spellcheck settingLeonid Startsev
2020-06-09Add IDEA/Github integration to make all issue references navigable (#851)Vsevolod Tolstopyatov