Skip to content

update Coq ignored extensions and add dired-x compatibility #667

update Coq ignored extensions and add dired-x compatibility

update Coq ignored extensions and add dired-x compatibility #667

Annotations

2 warnings

test (coq-8.15.2-emacs-28.1)

succeeded Apr 21, 2024 in 3m 20s