diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2026-07-12 10:26:01 +0200 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2026-07-12 10:26:01 +0200 |
| commit | 2fb55a9582536ee85a1912d76fd4d359fa3c8555 (patch) | |
| tree | 8fe4e7a0c7534871cab2c8844efdec925dd3d776 /uconfig | |
| parent | e080f1f6b89d4f5960ac2c45029dd91045fb75ed (diff) | |
Use getopt for ftag export
Diffstat (limited to 'uconfig')
0 files changed, 0 insertions, 0 deletions