summaryrefslogtreecommitdiff
path: root/hosts
diff options
context:
space:
mode:
authorstuebinm2026-01-20 18:15:51 +0100
committerstuebinm2026-01-20 18:15:51 +0100
commite4a1744fa969c0d75567aa9e1541bc8604db5201 (patch)
tree74f4080ceb8ea1cf6c854d68cfe9b01a77755aab /hosts
parent124133559544a1062a3f5d6b9391113c7b02b828 (diff)
isabelle2unicode: update, simplify git setupHEADmain
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions