Commit graph

3 commits

Author SHA1 Message Date
Austin Horstman
b1d0959bc9
plugins/languages: move to by-name 2024-09-09 14:34:18 -05:00
traxys
62f32bfc71 treewide: Reformat with nixfmt 2024-05-05 22:00:40 +02:00
Gaetan Lepage
19654ffed2 plugins/lean: init + test 2023-11-14 11:14:45 +01:00