diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2026-08-03 13:54:16 +0200 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2026-08-03 13:54:16 +0200 |
| commit | 64d8a3941d908d58bd12830929cc909e947810a9 (patch) | |
| tree | b90aebe2368c5c3fdb0ed7a6c41a66801a62df96 /uconfig | |
| parent | 1b89ef0181eb9f016a1a2fc246ba2a02cd5b336d (diff) | |
It is ugly but makes things much easier, espacially with the dist rule.
Diffstat (limited to 'uconfig')
0 files changed, 0 insertions, 0 deletions