diff options
author | Erich Eckner <git@eckner.net> | 2022-11-09 21:36:53 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2022-11-09 21:36:53 +0100 |
commit | fe12c0a09f4516dd0b9ffc69045dd6027d7a1749 (patch) | |
tree | 98c4af2aa98c45b71bbcfdb44061fe7b9e1e373a /uselessPorts | |
parent | ae802de94873d5c8254cb29710cc13f00abde2d5 (diff) | |
download | crux-ports-fe12c0a09f4516dd0b9ffc69045dd6027d7a1749.tar.xz |
texinfo: 6.8 -> 7.0
Diffstat (limited to 'uselessPorts')
0 files changed, 0 insertions, 0 deletions