diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2022-02-24 12:46:16 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2022-02-24 12:46:16 +0100 |
| commit | bf03eee236924f68b1ff16a1a31e04f82e247ee7 (patch) | |
| tree | 6141f1f974143ac75159ca7ece3b2eee9ecee760 /debian/patches/0115-Fix_text_filter.patch | |
| parent | 5cbe7aab1e49318dc4c561eee1e387653304409e (diff) | |
New d/p/0120-Disable_option_docs.patch
Diffstat (limited to 'debian/patches/0115-Fix_text_filter.patch')
0 files changed, 0 insertions, 0 deletions