diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-09-22 12:59:32 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-09-22 12:59:32 +0200 |
| commit | 515ae722f5a1c48e73a3cfb205719ec7443031b6 (patch) | |
| tree | 8e0791b755e6f5d0e38d3556a7e8c5e9c643fb57 /debian | |
| parent | 9f8dd896b3e8027f2020201fd9835543401f6eba (diff) | |
-misc minor fixes
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions