parent
d69505a092
commit
ce0aed12ec
1 changed files with 1 additions and 0 deletions
|
@ -1,3 +1,4 @@
|
|||
(source gnu)
|
||||
(source melpa)
|
||||
(package-file "lean-mode.el")
|
||||
(development
|
||||
|
|
Loading…
Reference in a new issue