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 /po | |
parent | 2842f8f3e31fbec8c53ce40f15ff0c76f021f030 (diff) |
add $* to gdb to make it more useful
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions