Skip to content

Update POFILES in autotools.#1079

Merged
ThomasAdam merged 1 commit intomainfrom js/autotools-make-distOct 20, 2024

Commits

Commits on Oct 20, 2024