Rh17S15/doom-emacs-work-conf
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
e39cd80040ca7158fa23654ce5209a80c42c2f8b
doom-emacs-work-conf/doom-snippets/coq-mode/set_tactic_evars_pattern_unification
rh17s15 b6a7230e7e 2026-01-29T09:42:46
2026-01-29 09:42:33 +01:00

Symbolic link
1 line
100 B
Plaintext
Raw Blame History

/home/username/.emacs.d/.local/straight/repos/snippets/coq-mode/set_tactic_evars_pattern_unification
Reference in New Issue View Git Blame Copy Permalink