diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-05-04 18:20:32 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-05-04 18:31:41 +0200 |
| commit | 6cddce46205ea70911efbcc2814b41ccd15b0219 (patch) | |
| tree | e00dec8cacac4facadf45d352febe77c5ab67399 /jenkins-home | |
| parent | 7cbfcfc0e6288c87a502cde3e9d5488863de21b5 (diff) | |
| download | jenkins.debian.net-6cddce46205ea70911efbcc2814b41ccd15b0219.tar.xz | |
move the procmailrc file under jenkins-home/ (to group the files in the repo)
Diffstat (limited to 'jenkins-home')
| -rw-r--r-- | jenkins-home/procmailrc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/jenkins-home/procmailrc b/jenkins-home/procmailrc new file mode 100644 index 00000000..2e60d090 --- /dev/null +++ b/jenkins-home/procmailrc @@ -0,0 +1,3 @@ +:0 +*From: jenkins@jenkins.debian.net +| /srv/jenkins/bin/email2irc.sh |