diff options
author | TW <tw@waldmann-edv.de> | 2024-01-20 18:32:08 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-01-20 18:32:08 +0100 |
commit | a423092337272503977afada9d897fb5709f437c (patch) | |
tree | ba1872f9cc4e9976de675be732f1bfa25ee63ca4 /docs/man | |
parent | 266c9f6e8fa7d36ce55dd5d9e7f9d991895f7286 (diff) | |
parent | 5d956b9655fbd700434d628ca0de433c37f22191 (diff) |
Merge pull request #8054 from ThomasWaldmann/more-errors-msgids-1.4
more specific errors / msgids (1.4-maint)
Diffstat (limited to 'docs/man')
0 files changed, 0 insertions, 0 deletions