]> ruderich.org/simon Gitweb - config/dotfiles.git/tree - misc/ghc/
vcs: gitconfig: prevent planned change of the default branch name
[config/dotfiles.git] / misc / ghc /
drwxr-xr-x   ..
-rw-r--r-- 773 ghci