]> git.r.bdr.sh - rbdr/dotfiles/history - plan
Update coq.nvim
[rbdr/dotfiles] / plan
2024-03-04 Ruben Beltran del RioMerge branch 'main' of git.sr.ht:~rbdr/dotfiles
2024-03-04 Ruben Beltran del RioInstall plan file