diff options
| author | Monsta <[email protected]> | 2015-07-10 12:05:25 +0300 |
|---|---|---|
| committer | Monsta <[email protected]> | 2015-07-10 12:05:25 +0300 |
| commit | e426bfaf784a1350cb76ee96655003310a4a42e2 (patch) | |
| tree | 311cb96de4fcb6829238b68fda0da304026fa1bc /shell/ev-media-player-keys.h | |
| parent | 22a3fc12065d0be034d19dfb0c8707695f514914 (diff) | |
| download | atril-e426bfaf784a1350cb76ee96655003310a4a42e2.tar.bz2 atril-e426bfaf784a1350cb76ee96655003310a4a42e2.tar.xz | |
gtk3 build: use webkit2gtk-4.0 if 3.0 isn't available
"thanks" to debian guys for removing 3.0 from testing repo
Diffstat (limited to 'shell/ev-media-player-keys.h')
0 files changed, 0 insertions, 0 deletions