Commit 5963858a43f07187cb7e24b133fe8e8200b9a74b

Bruno Haible 2023-05-18T22:38:30

gnulib-tool: Ignore .orig and .rej files under modules/.