diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2022-05-20 01:20:23 +0200 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2022-05-20 01:20:23 +0200 |
| commit | b8c73169ab48dea503091f2d16d90c872d4ac99f (patch) | |
| tree | 3de855352b44214abb0bcc31404799ea020b4520 /debian/dirs | |
| parent | 7569f82a4a5d43c16017f1f86d02ba4d158d567f (diff) | |
ensure that the format string is const
Diffstat (limited to 'debian/dirs')
0 files changed, 0 insertions, 0 deletions