Files
doomemacs/init.example.el
Rudi Grinberg bba0e1cb79 Add lean to init.example.el
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
2019-09-10 09:50:21 +09:00

8.7 KiB