awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-09-12 15:36:53 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
6dc84f16714f91b153e1b014c1edea03a329a6e4
doomemacs/modules/lang/coq/packages.el
Henrik Lissner aa460786b6 Bump :lang coq 
ProofGeneral/PG@4f6b602 -> ProofGeneral/PG@0fdb1ae
2020-10-19 01:18:53 -04:00

201 B
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink