Rh17S15/doom-emacs-conf
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

2026-02-05T22:56:10

Browse Source
This commit is contained in:
rh17s15
2026-02-05 22:55:56 +01:00
parent bb1bf0b1e6
commit bc2dda541c
2999 changed files with 3484 additions and 460 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
doom-snippets/coq-mode/unset_standard_proposition_elimination_names Symbolic link
View File

@@ -0,0 +1 @@
/home/username/.emacs.d/.local/straight/repos/snippets/coq-mode/unset_standard_proposition_elimination_names