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