diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-01-26 21:45:37 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-01-26 21:45:37 +0100 |
| commit | 9e910cb1b967c72faae0cdd97014a6be8641fed3 (patch) | |
| tree | 89903ee344d3ccd873d6c4f21cb52d40037c5914 /m4 | |
| parent | 556a7f36b840e18924e6cb74742f8a89301d2ddd (diff) | |
implement #6724
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions