[emacs/lean-mode] use forward slash "/" as the prefix for lean-input
[~bandali/configs] / .gitignore
1 *.elc
2
3 /early-init.el
4 /init.el
5 /var