diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-06-03 10:28:47 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-06-03 10:28:47 +0200 |
| commit | 2f07126a7a7fe65f61dfc93ce7fa6457671c0ae4 (patch) | |
| tree | e0e130e4c89af28f148510bef2fb9a92729913ac /debian/menu | |
| parent | 7f089b452a308f8b18712061d877e44407b3aa93 (diff) | |
Use the automatic debug symbol packages
Diffstat (limited to 'debian/menu')
0 files changed, 0 insertions, 0 deletions