| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-02-01 | Remove snippets warning in coq | Ruben Beltran del Rio |
| 2024-01-29 | Restore tab completion and diff colors | Ruben Beltran del Rio |
| 2023-10-03 | Use treesitter in neovim | Ruben Beltran del Rio |
| 2023-09-24 | Start replacing CoC with neovim's LSP support | Ruben Beltran del Rio |
| 2023-09-21 | Add DAP | Ruben Beltran del Rio |
| 2023-09-13 | Clean up some plugins | Ruben Beltran del Rio |
| 2023-07-18 | Add basic coc config | Ruben Beltran del Rio |
| 2023-07-18 | Update the goyo config | Ruben Beltran del Rio |
| 2023-07-18 | Replace vimscript config with lua | Ruben Beltran del Rio |