aboutsummaryrefslogtreecommitdiff
path: root/sql
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2026-01-03 22:57:13 +0100
committerTristan Riehs <tristan.riehs@inria.fr>2026-01-03 22:57:13 +0100
commit07d0f65cac8483911da2ac692c106d6061509e9d (patch)
treeffc0bd858065a616be5e93d480dedb8556e45acf /sql
parent813349475dfb35d640bcbfbe76e57b8db18dbc12 (diff)
Change file_exists and use it more
Diffstat (limited to 'sql')
0 files changed, 0 insertions, 0 deletions