summaryrefslogtreecommitdiff
path: root/hosts
diff options
context:
space:
mode:
authorstuebinm2022-12-19 21:09:10 +0100
committerstuebinm2022-12-19 21:10:32 +0100
commit7ef380dea51b829030c252c89864b107aece2c49 (patch)
tree8e639a64e8ba3a6d4313087e0de639cc612b4966 /hosts
parent06a24c5eca87eb6c13c45655f17b568fc7f1012d (diff)
home: more isabelle
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions