From b212ae5c516b33f3779a1e020a9dae7f784385ab Mon Sep 17 00:00:00 2001 From: Robby Workman Date: Tue, 9 Jul 2013 23:36:00 -0500 Subject: development/kdevelop-php: Removed (included in 14.1) Signed-off-by: Robby Workman --- development/kdevelop-php/doinst.sh | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 development/kdevelop-php/doinst.sh (limited to 'development/kdevelop-php/doinst.sh') diff --git a/development/kdevelop-php/doinst.sh b/development/kdevelop-php/doinst.sh deleted file mode 100644 index 8f9648e07d..0000000000 --- a/development/kdevelop-php/doinst.sh +++ /dev/null @@ -1,4 +0,0 @@ -if [ -x /usr/bin/update-desktop-database ]; then - /usr/bin/update-desktop-database /usr/share/applications >/dev/null 2>&1 -fi - -- cgit v1.2.3