]> git.r.bdr.sh - rbdr/dotfiles/commit
Update coq.nvim
authorRuben Beltran del Rio <redacted>
Mon, 4 Mar 2024 20:56:39 +0000 (21:56 +0100)
committerRuben Beltran del Rio <redacted>
Mon, 4 Mar 2024 20:56:39 +0000 (21:56 +0100)
commit37b37cfc94fb2e091520f012c657630d11d3f940
treec96055715c80c227662618ee2028238e0c47be98
parentb662b6bcafaa991a0c1d470fb054dc5d88a58154
Update coq.nvim
config/nvim/lazy-lock.json