[totem/wip/hadess/update-plugin-names: 1/2] media-player-keys: Use dashes in plugin name
- From: Bastien Nocera <hadess src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [totem/wip/hadess/update-plugin-names: 1/2] media-player-keys: Use dashes in plugin name
- Date: Sat, 23 Feb 2019 10:56:43 +0000 (UTC)
commit 0832574c639bb68620b2741709b306646f0a20a7
Author: Bastien Nocera <hadess hadess net>
Date: Sat Feb 23 11:54:20 2019 +0100
media-player-keys: Use dashes in plugin name
Rather than underscores.
src/plugins/media-player-keys/media-player-keys.plugin.desktop.in | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/plugins/media-player-keys/media-player-keys.plugin.desktop.in
b/src/plugins/media-player-keys/media-player-keys.plugin.desktop.in
index 987307bce..e2b8ed51a 100644
--- a/src/plugins/media-player-keys/media-player-keys.plugin.desktop.in
+++ b/src/plugins/media-player-keys/media-player-keys.plugin.desktop.in
@@ -1,5 +1,5 @@
[Plugin]
-Module=media_player_keys
+Module=media-player-keys
IAge=1
Name=Media Player Keys
Description=Support additional media player keys
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]