Commit Graph

2 Commits

Author SHA1 Message Date
2f17dc49b9 Nvim: use iswap 2022-05-08 22:46:36 +02:00
Robert Kmieć
8ae7046f3f Nvim: remove coq and other config files 2022-04-19 23:01:31 +02:00