diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-11-04 12:59:34 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2022-11-04 12:59:34 +0100 |
| commit | 22057732c7198f4b63f2cebcef12acf4bd0f5cb8 (patch) | |
| tree | dca9f4eba652f7e2b4b62c9e918b6c1e0133c21b /contrib/sigp/h.footer | |
| parent | 0643ebff9e4dc4eaf3167c19d16962e9ac07358c (diff) | |
add missing header
Diffstat (limited to 'contrib/sigp/h.footer')
0 files changed, 0 insertions, 0 deletions