Skip to content

Emacs: add shortcuts for some unicode characters #2462

Emacs: add shortcuts for some unicode characters

Emacs: add shortcuts for some unicode characters #2462

Annotations

1 error and 1 warning

lambdapi (4.09.1)

failed Jan 25, 2025 in 8m 36s