Commit graph

1 commit

Author SHA1 Message Date
a1a918193a
nvim/ftplugin: agda support 2026-01-24 22:24:56 +01:00