[emacs/lean-mode] use forward slash "/" as the prefix for lean-input
[~bandali/configs] / .gitignore
CommitLineData
313f5877 1*.elc
0681f90d 2
180cab37
AB
3/early-init.el
4/init.el
d3e6bf8c 5/var