dotfiles/nvim/after/ftplugin/agda.lua

2 lines
31 B
Lua
Raw Permalink Normal View History

2023-06-19 19:41:04 +02:00
vim.opt.commentstring = "--%s"