aboutsummaryrefslogtreecommitdiffstats
path: root/init.lua (follow)
Commit message (Expand)AuthorAgeFilesLines
* Migrate to lazy and coqphilw2024-02-171-6/+163
* Add licence, enable silent formatters executionphajw2024-01-251-11/+2
* Move from githubphajw2023-10-041-0/+17