diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2022-05-21 13:23:54 +0200 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2022-05-21 13:23:54 +0200 |
| commit | 3fa632be359e3a461724059119e045652b95fc66 (patch) | |
| tree | bb6d225b1916e163be9e9b8d32ed6a9bd4fb6157 /debian/docs | |
| parent | b66b27761593b1e9fe4b474432636c9844344e3e (diff) | |
Minor formatting issues
Diffstat (limited to 'debian/docs')
0 files changed, 0 insertions, 0 deletions