diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2026-05-31 14:27:13 +0200 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2026-05-31 14:27:13 +0200 |
| commit | 9b69b2ff7563fb89ea8589d307a1c0b83cd6ed7f (patch) | |
| tree | 4e50135a9162eb4c4a95ed97b08c02a5af26f3a5 /Makefile | |
| parent | cd82dadf3542fe559e78ea39d6689442fdf3d0e0 (diff) | |
Integrate getopt for this option and the -h help option.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions