mirror of
https://github.com/doomemacs/doomemacs.git
synced 2025-12-06 02:30:33 -08:00
a4a61976dc
ardumont/markdown-toc@e3429d3014 -> ardumont/markdown-toc@d3324cb6bc emacs-straight/auctex@a2809e4d70 -> emacs-straight/auctex@a6f4741c22 idris-hackers/idris-mode@da5c22f436 -> idris-hackers/idris-mode@85928dc4cc jrblevin/markdown-mode@d51c469133 -> jrblevin/markdown-mode@92802fae9e seagle0128/grip-mode@11fecd5b38 -> seagle0128/grip-mode@26bdadf604
4 lines
129 B
EmacsLisp
4 lines
129 B
EmacsLisp
;; -*- no-byte-compile: t; -*-
|
|
;;; lang/idris/packages.el
|
|
|
|
(package! idris-mode :pin "85928dc4cc2c22010fa91661abd55e6bd3dbacee")
|