ctags: require scip-ctags to be present#700

Merged

jtibshirani merged 1 commit intomainfrom jtibs/ctags

Nov 17, 2023

+28-17

Commits on Nov 16, 2023

ctags: require scip-ctags to be present
jtibshirani
committed