aboutsummaryrefslogtreecommitdiff
path: root/README.org
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2026-07-12 10:57:07 +0200
committerTristan Riehs <tristan.riehs@inria.fr>2026-07-12 10:57:07 +0200
commit19e96d63b29ae56acd201e10bf91f83b5ef884c6 (patch)
tree24c50434fe06954501f131e0c91297453984051a /README.org
parent809f3ccb18b38e06b054101bde04316f01fc2b44 (diff)
Use getopt for ftag query
Diffstat (limited to 'README.org')
0 files changed, 0 insertions, 0 deletions