diff --git a/helpers/make-libgnome-media-profiles b/helpers/make-libgnome-media-profiles deleted file mode 100644 index 8640b1b9a1a077e05f281805d0751cfe25880ee3..0000000000000000000000000000000000000000 --- a/helpers/make-libgnome-media-profiles +++ /dev/null @@ -1,31 +0,0 @@ -#!/bin/sh -# -# Copyright (C) 2012 Rubén RodrÃguez <ruben@trisquel.info> -# -# This program is free software; you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation; either version 2 of the License, or -# (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program; if not, write to the Free Software -# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA -# - -VERSION=1 -COMPONENT=main - -. ./config - -rm debian/patches/02-gstreamer-1.0.patch -sed '/02-gstreamer-1.0/d' -i debian/patches/series - -changelog "Reverted to gst 0.10" - -compile -