aboutsummaryrefslogtreecommitdiff
path: root/uconfig
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2026-05-31 11:50:23 +0200
committerTristan Riehs <tristan.riehs@inria.fr>2026-05-31 11:50:23 +0200
commitd547f1ca7708004ef5515ef14dafdff365b2d064 (patch)
tree263e1c1527eba9a2436c27feadce025f8de6855c /uconfig
parent7174aa22a64a11bbb5b32df3cc1f8ffa6e71fc00 (diff)
Actually add the uconfig submodule
Diffstat (limited to 'uconfig')
m---------uconfig0
1 files changed, 0 insertions, 0 deletions
diff --git a/uconfig b/uconfig
new file mode 160000
+Subproject 560b4546110853339f15050d3a2578ffe4d0690