Skip to content

Fix texinfo trigger & remove conflicting /usr/share/info/dir files#122

Merged
der-eismann merged 4 commits intomainfrom fix-texinfo-triggerJan 28, 2024

Commits

Commits on Jan 27, 2024