diff options
| author | Gabor Kelemen <kelemeng@gnome.hu> | 2018-05-06 10:25:38 +0200 |
|---|---|---|
| committer | Gabor Kelemen <kelemeng@ubuntu.com> | 2018-05-08 00:06:18 +0200 |
| commit | d32a12ff3bf76a7751e0dea0f126c55a493b133d (patch) | |
| tree | 43855410fa17ba69bc7b1524ee5038e28c6bbc3f /source/text/shared/01/01010302.xhp | |
| parent | a6b63716e5f4921209336025f21cff41a103d9dc (diff) | |
Make use of some existing HIDs in the media player
Change-Id: I8417f79db5bab529d2f9686dffca72bbbf1d6fff
Reviewed-on: https://gerrit.libreoffice.org/53951
Tested-by: Jenkins <ci@libreoffice.org>
Reviewed-by: Gabor Kelemen <kelemeng@ubuntu.com>
Tested-by: Gabor Kelemen <kelemeng@ubuntu.com>
Diffstat (limited to 'source/text/shared/01/01010302.xhp')
0 files changed, 0 insertions, 0 deletions