Skip to content

Ranking: standardize ctags kind names before scoring#674

Merged
jtibshirani merged 3 commits intomainfrom jtibs/score-kindOct 27, 2023