Frans Bergman
9dc3fdd4d0
[init.vim] Add nvim-agda plugin to neovim
|
пре 2 година | |
|---|---|---|
| .. | ||
| init.vim | пре 2 година | |
|
Frans Bergman
9dc3fdd4d0
[init.vim] Add nvim-agda plugin to neovim
|
пре 2 година | |
|---|---|---|
| .. | ||
| init.vim | пре 2 година | |