#!/bin/sh
echo "gstreamer0.10-fluendo-plugins" >> "$1"
