From 6cddce46205ea70911efbcc2814b41ccd15b0219 Mon Sep 17 00:00:00 2001
From: Mattia Rizzolo <mattia@mapreri.org>
Date: Mon, 4 May 2015 18:20:32 +0200
Subject: move the procmailrc file under jenkins-home/ (to group the files in
 the repo)

---
 procmailrc | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 procmailrc

(limited to 'procmailrc')

diff --git a/procmailrc b/procmailrc
deleted file mode 100644
index 2e60d090..00000000
--- a/procmailrc
+++ /dev/null
@@ -1,3 +0,0 @@
-:0
-*From: jenkins@jenkins.debian.net
-| /srv/jenkins/bin/email2irc.sh
-- 
cgit v1.2.3-70-g09d2