Skip to content
Lint

Fix 'gap --version' to send its output to stdout #2227

Sign in to view logs

Fix 'gap --version' to send its output to stdout

Fix 'gap --version' to send its output to stdout #2227

Annotations

1 warning

gaplint

gaplint
succeeded Dec 10, 2024 in 38s