Archives/bat - bat - blob42 source forge

mirror of https://github.com/sharkdp/bat

Author	SHA1	Message	Date
Julian Berman	1a04dcf10f	Add Lean.sublime-syntax. Covers syntax for Lean 3, an interactive theorem prover at https://leanprover-community.github.io/ whose users mostly use VSCode.	4 years ago