diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2026-07-12 08:13:00 +0200 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2026-07-12 08:13:00 +0200 |
| commit | 0037bc1acf7439f078aeaa3cd48d8a54454f78fc (patch) | |
| tree | 13474eb19cc23b26dd022858689c97e0bec2b13b /uconfig | |
| parent | ccf00ee32c88f7bf03deabe22ee6f60ae51701b8 (diff) | |
Rework entry existence check
Make the callback more generic to use it several times.
Diffstat (limited to 'uconfig')
0 files changed, 0 insertions, 0 deletions