projects
/
old-projects.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
bad identifier
[old-projects.git]
/
philter
/
philter
/
include
/
form_filter.inc.php
diff --git
a/philter/philter/include/form_filter.inc.php
b/philter/philter/include/form_filter.inc.php
index
1e6a5d7
..
fdecc4e
100644
(file)
--- a/
philter/philter/include/form_filter.inc.php
+++ b/
philter/philter/include/form_filter.inc.php
@@
-32,7
+32,7
@@
require("include/js_factory.inc.php");
<br />
<div class="rubrique"><?php i18n('pool_title'); ?></div>
<?php
-i18n('s
mall_
pool_help');
+i18n('spool_help');
echo $mail_pool->to_small_form();
?>
<br />