]> us-delaporte.pagekite.me Git - dotfiles.git/history - profile
Do not always update plugins
[dotfiles.git] / profile
2022-11-17 Edward DelaporteMerge branch 'main' of github.com:edthedev/dotfiles...
2022-07-15 Edward DelaporteVarious config tweaks.