diff options
| author | raveit65 <[email protected]> | 2019-10-05 18:01:22 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2019-10-05 18:03:48 +0200 |
| commit | e259accb9eb7fd6a1ccbb41122e3d8267913c8bd (patch) | |
| tree | 4b7b99b00ef8bcbe7285f3d017db53961b985655 /shell/ev-media-player-keys.h | |
| parent | 43d171bf7cd6b6c0da676b562629160f78c01b5e (diff) | |
| download | atril-e259accb9eb7fd6a1ccbb41122e3d8267913c8bd.tar.bz2 atril-e259accb9eb7fd6a1ccbb41122e3d8267913c8bd.tar.xz | |
travis(ci): enable notify_servers
Diffstat (limited to 'shell/ev-media-player-keys.h')
0 files changed, 0 insertions, 0 deletions