diff options
author | Carlos Garcia Campos <carlosgc@gnome.org> | 2010-05-25 10:31:29 (GMT) |
---|---|---|
committer | Carlos Garcia Campos <carlosgc@gnome.org> | 2010-05-25 10:31:29 (GMT) |
commit | 6f3e578c5f96e132587aeda27c341792621af14e (patch) | |
tree | 2f2130c81dd1ceab48f5080d291b8d22fb5307d4 /cut-n-paste | |
parent | 4da16e0c0882f8eec36c06aeeb86fe0116fbd025 (diff) |
[shell] Make sure we have a proxy before using it in ev-media-player-keys
Diffstat (limited to 'cut-n-paste')
0 files changed, 0 insertions, 0 deletions