Skip to content
docker-ci

[emacs-mode] force ∀ and ∃ to be syntax class "punctuation" #563

Sign in to view logs

[emacs-mode] force ∀ and ∃ to be syntax class "punctuation"

[emacs-mode] force ∀ and ∃ to be syntax class "punctuation" #563

build-stdknl

build-stdknl
succeeded Oct 2, 2024 in 1h 12m 17s