Merge branch 'master' into perso

[config-20-100.git] / .procmail / rc / custom.normal.rules

diff --git a/.procmail/rc/custom.normal.rules b/.procmail/rc/custom.normal.rules
index 4ffaf3809bb3b1d0693dd50719b5227557e0b365..780fd401ae379bdee44f0eafd86e851814031138 100644 (file)
--- a/.procmail/rc/custom.normal.rules
+++ b/.procmail/rc/custom.normal.rules
@@ -43,6 +43,8 @@ SERVBDEDIR=".serveurs_BDE"
 CLUBINUTILEDIR="${MLDIR}.club-inutile"
 ## Dossier pour les mails de l'ASED
 ASEDDIR="${MLDIR}.ASED"
+## ML de TP PCI, de promo même si pas ens-
+PCIDIR="${MLPROMODIR}.tp5-pci-2013"
 
 ### Notifications wikis
 WIKISDIR=".Wikis"
@@ -134,6 +136,11 @@ ${CLUBINUTILEDIR}/
 * ^From:.*@ased\.fr
 ${ASEDDIR}/
 
+### ML tp
+:0
+* ^List-Id:.*tp5-pci-2013\.lists\.crans\.org
+${PCIDIR}/
+
 
 #################################################################
 ##                     Notifications wikis                     ##