From 9c4e85ac16a29c7a50a115000097abcb182e210c Mon Sep 17 00:00:00 2001
From: Stefan Weigl-Bosker <stefan@s00.xyz>
Date: Sat, 7 Jun 2025 13:00:46 -0400
Subject: wip

---
 modules/neovim/nvim/after/ftplugin/lean.lua | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 modules/neovim/nvim/after/ftplugin/lean.lua

(limited to 'modules/neovim/nvim/after/ftplugin')

diff --git a/modules/neovim/nvim/after/ftplugin/lean.lua b/modules/neovim/nvim/after/ftplugin/lean.lua
new file mode 100644
index 0000000..6895db1
--- /dev/null
+++ b/modules/neovim/nvim/after/ftplugin/lean.lua
@@ -0,0 +1 @@
+require('lean').setup{ mappings = true }
-- 
cgit v1.2.3