mirrors/doomemacs
1
Fork 0
mirror of https://github.com/doomemacs/doomemacs.git synced 2025-12-24 10:51:05 -08:00
Code Issues Projects Releases Wiki Activity
doomemacs/modules/lang/lean
History
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