Skip to content

Rm extra indirection by making (color-identifiers:refontify) an alias #36

Rm extra indirection by making (color-identifiers:refontify) an alias

Rm extra indirection by making (color-identifiers:refontify) an alias #36

Annotations

2 warnings

test (ubuntu-latest, 27.2)

succeeded Oct 23, 2024 in 35s