Henrik Lissner 7e491ce1c0 lang/lean: minor reformatting		2021-02-26 21:33:00 -05:00
..
config.el	lang/lean: minor reformatting	2021-02-26 21:33:00 -05:00
packages.el	Bump :lang	2021-02-25 10:46:46 -05:00