diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-07-15 19:01:46 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-07-15 19:01:46 +0200 |
| commit | fa5417e81d1877279da8f03a6691975e86f3f30f (patch) | |
| tree | b518e0d807243d686efba7afca1153bf012a71d6 /debian/tools | |
| parent | 762284fd280a94bd5dcf6cd4eeacbd05888cce83 (diff) | |
Remove override_dh_strip
Diffstat (limited to 'debian/tools')
0 files changed, 0 insertions, 0 deletions