diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2026-07-12 08:23:15 +0200 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2026-07-12 08:23:15 +0200 |
| commit | e080f1f6b89d4f5960ac2c45029dd91045fb75ed (patch) | |
| tree | 48869d6d821bcc8aa3835148f89b0c544e8c3d0c /.gitignore | |
| parent | 0037bc1acf7439f078aeaa3cd48d8a54454f78fc (diff) | |
Fix numerous argument managements
Now argv[0] is the subcommand name, not its first argument.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions