diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-07-02 11:39:54 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-07-02 11:39:54 +0200 |
| commit | 78ed6228ebb0afd68eddff92e66fd3394c14895e (patch) | |
| tree | f88f6a1a0988ef2f8f4078dd04fb6d0a70bf9da9 /contrib/sigp/h.header | |
| parent | 57527a5e8d301ca61583a20b1664af00e07b90b4 (diff) | |
migrate Stefan's translation back into the public git
Diffstat (limited to 'contrib/sigp/h.header')
0 files changed, 0 insertions, 0 deletions