summaryrefslogtreecommitdiff
path: root/uselessPorts
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2022-11-09 21:36:53 +0100
committerErich Eckner <git@eckner.net>2022-11-09 21:36:53 +0100
commitfe12c0a09f4516dd0b9ffc69045dd6027d7a1749 (patch)
tree98c4af2aa98c45b71bbcfdb44061fe7b9e1e373a /uselessPorts
parentae802de94873d5c8254cb29710cc13f00abde2d5 (diff)
downloadcrux-ports-fe12c0a09f4516dd0b9ffc69045dd6027d7a1749.tar.xz
texinfo: 6.8 -> 7.0
Diffstat (limited to 'uselessPorts')
0 files changed, 0 insertions, 0 deletions