diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2024-07-06 21:08:16 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2024-07-06 21:08:16 +0200 |
| commit | 80aa3fe15f6346102c29b9c4236fe1e89c283d3b (patch) | |
| tree | ce74f3643b6d3e03050df0940e484d12235f9949 /dist/debian/docs | |
| parent | 79a133306dee3c727edf09655767987ec11e2c4f (diff) | |
| parent | df7f03cb7f772b9a87896bfa189bccd4068d1963 (diff) | |
Merge branch 'release/debian/0.32.7-1'HEADdebian/0.32.7-1master
Diffstat (limited to 'dist/debian/docs')
| -rw-r--r-- | dist/debian/docs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/dist/debian/docs b/dist/debian/docs deleted file mode 100644 index ffe5fe2..0000000 --- a/dist/debian/docs +++ /dev/null @@ -1,3 +0,0 @@ -NEWS -README -THANKS |