[emacs/lean-mode] use forward slash "/" as the prefix for lean-input
[~bandali/configs] / lib /
2018-04-30 Amin Bandali[emacs] update 2 drones
2018-04-29 Amin Bandali[emacs] assimilate and enable EXWM
2018-04-28 Amin Bandali[emacs] enable Ivy and friends
2018-04-28 Amin Bandali[emacs] enable exec-path-from-shell
2018-04-26 Amin Bandali[emacs] add Borg's layer/essentials current submodules