diff options
| author | awy <awy@awy.one> | 2025-10-20 02:12:01 +0300 |
|---|---|---|
| committer | awy <awy@awy.one> | 2025-10-20 02:12:01 +0300 |
| commit | 8131d9f2898b991a2d2c7a2ac601ce9e07cc9c9f (patch) | |
| tree | e23a7926752320642205491e88169c7283d88e62 /.config/nvim/lsp/lean3ls.lua | |
| parent | 176137a76c29ae1638fc8785a88d05aef5f3d8a0 (diff) | |
| download | hyprdots-8131d9f2898b991a2d2c7a2ac601ce9e07cc9c9f.tar.gz | |
yesyes
Diffstat (limited to '.config/nvim/lsp/lean3ls.lua')
0 files changed, 0 insertions, 0 deletions