]> git.r.bdr.sh - rbdr/dotfiles/blob - hushlogin
git.r.bdr.sh / rbdr / dotfiles / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
Remove snippets warning in coq
[rbdr/dotfiles] / hushlogin
1
My dotfiles #config