Commit Graph

2 Commits

Author SHA1 Message Date
Smaug123
134b0dc8a7 CHADdeps and coq_nvim 2024-02-23 11:06:57 +00:00
Patrick Stevens
b343f6bb01 Add config for Earthworm (#19) 2023-08-28 19:52:17 +01:00