ctags: rip Coq patterns from HoTT/HoTT/Makefile.coq.local
ctags: rip Coq patterns from HoTT/HoTT/Makefile.coq.local

benknoble/Dotfiles,benknoble/Dotfiles,benknoble/Dotfiles,benknoble/Dotfiles,benknoble/Dotfiles