diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-04-16 21:26:01 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-04-16 21:26:01 +0200 |
| commit | ade7586c3069b57a33ca94da291f64e6ee27ea44 (patch) | |
| tree | fb1a3a515eeffe40d76c6976f34a618e9feb6aa9 /src/util | |
| parent | 10c779bbc6b50e7eaca813fa920f0c083c275b15 (diff) | |
add missing resource
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions