diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-11-01 13:34:14 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-11-01 13:34:14 +0100 |
| commit | b88b36ecad89ab758000dedea2829a0500471bc0 (patch) | |
| tree | 87af03617712678c5b3d2beea4097d335c039758 /debian | |
| parent | c231e9925c6ac3dcd33205b378c9f648f1fe901e (diff) | |
style fixes
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions