diff options
author | Gabor Kelemen <kelemeng@gnome.hu> | 2018-05-06 10:25:38 +0200 |
---|---|---|
committer | Gerrit Code Review <gerrit@gerrit.libreoffice.org> | 2018-05-08 00:06:18 +0200 |
commit | 741b7c35ac9cc118a9d70925c71f27147551d204 (patch) | |
tree | f9b0e82d73d8074186f776d921730b9a88464b5d | |
parent | 083b7ca26bbf4b9bad2922520caaf5c0227dac5e (diff) |
Updated core
Project: help d32a12ff3bf76a7751e0dea0f126c55a493b133d
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>
m--------- | helpcontent2 | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/helpcontent2 b/helpcontent2 -Subproject a6b63716e5f4921209336025f21cff41a103d9d +Subproject d32a12ff3bf76a7751e0dea0f126c55a493b133 |