diff options
| author | raveit65 <[email protected]> | 2016-06-23 13:59:22 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2016-06-24 13:45:05 +0200 |
| commit | ba8d0f79a864b445ea0374a7dc5f9d9af7687859 (patch) | |
| tree | e5ff9d1173d3c74c24e1a1a2a8fd9677fc8034e9 /shell/ev-media-player-keys.c | |
| parent | 9edc6719f9b98ccc19cc78521af5f53cdc05d3cb (diff) | |
| download | atril-ba8d0f79a864b445ea0374a7dc5f9d9af7687859.tar.bz2 atril-ba8d0f79a864b445ea0374a7dc5f9d9af7687859.tar.xz | |
synctex: Fix -Wundef warning
taken from:
https://git.gnome.org/browse/evince/commit/?id=0708338
Diffstat (limited to 'shell/ev-media-player-keys.c')
0 files changed, 0 insertions, 0 deletions