summaryrefslogtreecommitdiff
path: root/manualPorts/update-ddns
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2023-06-13 11:05:37 +0200
committerErich Eckner <git@eckner.net>2023-06-13 11:05:37 +0200
commitee85ed8f51416a633fab0c4752a4d3415722dcaa (patch)
treeba74057eee5a9c18deac870630914edffa1e932a /manualPorts/update-ddns
parent231688781367051d6f75d44b3956435a7f731fa0 (diff)
downloadcrux-ports-ee85ed8f51416a633fab0c4752a4d3415722dcaa.tar.xz
texinfo: 7.0.1 -> 7.0.3
Diffstat (limited to 'manualPorts/update-ddns')
0 files changed, 0 insertions, 0 deletions