lean.nvim/ftplugin/leanstderr.lua at main · Julian/lean.nvim · GitHub
Skip to content

Latest commit

 

History

History
6 lines (6 loc) · 142 Bytes

leanstderr.lua

File metadata and controls

6 lines (6 loc) · 142 Bytes