diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2016-04-17 21:42:44 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2016-04-17 21:42:44 +0200 |
| commit | 12b1eace4b6bb7e434dca98dbab2a957a0c1d3ae (patch) | |
| tree | a26f7e15328203985b8645078441120ff1797f0a /debian/patches/0010-unneeded_doc.patch | |
| parent | a98b7c2adc1e7603e78db7368efbbc787ddb128e (diff) | |
missing patch
Diffstat (limited to 'debian/patches/0010-unneeded_doc.patch')
0 files changed, 0 insertions, 0 deletions