Skip to content
Snippets Groups Projects
Select Git revision
  • e081459b52e431286d0d7a259685c25a9efe27f7
  • main default protected
  • 75389691-a67c-422a-91e9-aa58bfb5-main-patch-32205
  • test-pipe
  • extended-scripts
  • structured-badges
  • guix-pipeline
  • cabal-pipeline
8 results

src

stuebinm's avatar
stuebinm authored
If --version is given, `walint` prints version information, then exists
with code 0.
ebfc8be9
History
Name Last commit Last update
..