diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2026-07-16 12:01:38 +0200 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2026-07-16 12:01:38 +0200 |
| commit | 04e39575f548671906d9292cb0a02dbded3177e8 (patch) | |
| tree | f1c6aab54c5672119a2dca3589c8c60c1891ec1d /uconfig | |
| parent | 20a7e90d3fd6e2f248d70467f2714cc26b2212eb (diff) | |
Factorize edit commands
There is probably still a lot of room for improvement though.
Diffstat (limited to 'uconfig')
0 files changed, 0 insertions, 0 deletions