diff options
| author | Tim-Philipp Müller <tim@centricular.com> | 2018-02-15 14:57:00 +0000 |
|---|---|---|
| committer | Tim-Philipp Müller <tim@centricular.com> | 2018-02-15 14:57:00 +0000 |
| commit | e911a93c8635e57023433cf912693c256abdf9f5 (patch) | |
| tree | 1940f4060851d30811ab54d19336582b4c4bc700 /docs/plugins/inspect/plugin-wildmidi.xml | |
| parent | b3ca3e977cefa7921e777f1b45054c3326598e2b (diff) | |
docs: update plugin docs
Diffstat (limited to 'docs/plugins/inspect/plugin-wildmidi.xml')
| -rw-r--r-- | docs/plugins/inspect/plugin-wildmidi.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/plugins/inspect/plugin-wildmidi.xml b/docs/plugins/inspect/plugin-wildmidi.xml index 6def08d08..7d51d31b3 100644 --- a/docs/plugins/inspect/plugin-wildmidi.xml +++ b/docs/plugins/inspect/plugin-wildmidi.xml @@ -3,10 +3,10 @@ <description>WildMidi-based MIDI playback plugin</description> <filename>../../ext/wildmidi/.libs/libgstwildmidi.so</filename> <basename>libgstwildmidi.so</basename> - <version>1.13.0.1</version> + <version>1.13.1</version> <license>LGPL</license> <source>gst-plugins-bad</source> - <package>GStreamer Bad Plug-ins git</package> + <package>GStreamer Bad Plug-ins source release</package> <origin>Unknown package origin</origin> <elements> <element> |