diff options
| author | Michael Vogt <mvo@debian.org> | 2013-10-18 08:32:14 +0200 |
|---|---|---|
| committer | Michael Vogt <mvo@debian.org> | 2013-10-18 08:32:14 +0200 |
| commit | 6161edd7a310209faae5288a2a174bf3251ef656 (patch) | |
| tree | 63b000cae6d33ce0263b9bd293d8dccbdc632d82 /test/integration/Packages-policy-pinning | |
| parent | 2842f8f3e31fbec8c53ce40f15ff0c76f021f030 (diff) | |
add $* to gdb to make it more useful
Diffstat (limited to 'test/integration/Packages-policy-pinning')
0 files changed, 0 insertions, 0 deletions