diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-11-14 05:34:19 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2022-11-14 05:34:19 +0100 |
| commit | 053faa252c2afed8ecbb65bdd6fe8ec6f9ad9ef9 (patch) | |
| tree | cefe2776cbfb9b9be508158d2be2eec2a1f82d78 /po | |
| parent | d876a950739e66533af168a55439a8652f018d1f (diff) | |
-refactoring in preparation of fixing #7272
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions