Rh17S15/doom-emacs-conf
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
main
doom-emacs-conf/doom-snippets/coq-mode/unset_refine_instance_mode

1 line
90 B
Plaintext
Raw Permalink Normal View History

2026-02-05T22:56:10
2026-02-05 22:55:56 +01:00
/home/username/.emacs.d/.local/straight/repos/snippets/coq-mode/unset_refine_instance_mode
Reference in New Issue Copy Permalink