diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2018-10-01 07:17:16 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2018-10-01 07:17:16 +0200 |
| commit | 71137cc5832110d91599d68790402cf196762ed3 (patch) | |
| tree | e7985bbfb6ca50ea738b38a9f852ee51431d48a7 /dist/debian/docs | |
| parent | 8ae550d463720d5d1c0e253af29843ff15de1a54 (diff) | |
| parent | 1e92964463e564bb3359a7110342182fcfdc67f2 (diff) | |
Merge branch 'release/debian/0.30.1-1'debian/0.30.1-1
Diffstat (limited to 'dist/debian/docs')
| -rw-r--r-- | dist/debian/docs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dist/debian/docs b/dist/debian/docs new file mode 100644 index 0000000..ffe5fe2 --- /dev/null +++ b/dist/debian/docs @@ -0,0 +1,3 @@ +NEWS +README +THANKS |