From 984f4ad69f9b7bad5dc54472dd374fd7edc5a5a9 Mon Sep 17 00:00:00 2001
From: Christian Hesse <mail@eworm.de>
Date: Sat, 29 Apr 2017 00:30:38 +0200
Subject: This project has been renamed to `pacredir`. Please...

... get it from
https://github.com/eworm-de/pacredir#pacredir or
https://git.eworm.de/cgit.cgi/pacredir/about/
---
 networkmanager/80-pacredir | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100755 networkmanager/80-pacredir

(limited to 'networkmanager/80-pacredir')

diff --git a/networkmanager/80-pacredir b/networkmanager/80-pacredir
deleted file mode 100755
index bd2def5..0000000
--- a/networkmanager/80-pacredir
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/sh
-
-if [ "${2}" == "up" ]; then
-	if pgrep -x pacredir >/dev/null; then
-		kill -HUP $(pgrep -x pacredir)
-	fi
-fi
-- 
cgit v1.2.3-54-g00ecf