-
Sietse Ringers authored
- emit version number when running `irma` without subcommand - `irma session` example uses default `irma server` port
9a92f3d8
- emit version number when running `irma` without subcommand - `irma session` example uses default `irma server` port