custom header plugin header plugin bugfix : undefined was as a value when
[old-projects.git] / philter / philter / locales / plugins /
drwxr-xr-x   ..
-rw-r--r-- 603 autoreply.en.inc.php
-rw-r--r-- 614 autoreply.fr.inc.php
-rw-r--r-- 838 bogofilter.en.inc.php
-rw-r--r-- 881 bogofilter.fr.inc.php
-rw-r--r-- 718 custheader.en.inc.php
-rw-r--r-- 716 custheader.fr.inc.php
-rw-r--r-- 599 forward.en.inc.php
-rw-r--r-- 602 forward.fr.inc.php
-rw-r--r-- 812 header.en.inc.php
-rw-r--r-- 824 header.fr.inc.php