diff options
| author | Robby Workman <rworkman@slackbuilds.org> | 2013-07-09 23:36:23 -0500 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2013-10-29 23:31:38 -0500 |
| commit | fc19a1343699a9eb5dc61f0f4d67a73f38ed316c (patch) | |
| tree | f3d3cdc7485e0ef7433ab628329d813ee50c61a9 /development/kdevelop-php-docs/doinst.sh | |
| parent | b212ae5c516b33f3779a1e020a9dae7f784385ab (diff) | |
development/kdevelop-php-docs: Removed (included in 14.1)
Signed-off-by: Robby Workman <rworkman@slackbuilds.org>
Diffstat (limited to 'development/kdevelop-php-docs/doinst.sh')
| -rw-r--r-- | development/kdevelop-php-docs/doinst.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/development/kdevelop-php-docs/doinst.sh b/development/kdevelop-php-docs/doinst.sh deleted file mode 100644 index 8f9648e07dbf7..0000000000000 --- a/development/kdevelop-php-docs/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 - |