]> git.r.bdr.sh - rbdr/dotfiles/history - runcoms/zprofile
Remove snippets warning in coq
[rbdr/dotfiles] / runcoms / zprofile
2023-08-30 Ruben Beltran del RioReduce further
2023-03-19 Ruben Beltran del RioMerge branch 'main' of git.sr.ht:~rbdr/dotfiles
2023-03-19 Ruben Beltran del RioUpdate zsh conf
2020-02-16 Ben BeltranRemove prezto