diff options
author | Maria Matejka <mq@ucw.cz> | 2022-06-26 14:11:08 +0200 |
---|---|---|
committer | Maria Matejka <mq@ucw.cz> | 2022-06-26 14:31:31 +0200 |
commit | 5c1ebe012e1bbfec52b4fba8b59edd355a7dff91 (patch) | |
tree | 32de21c30885a029e637c619aed43d52fa1ef847 /conf | |
parent | 9c9059fd172dcc2f8805529de4b3174f280c109c (diff) |
Fixed forgotten preference handling in filters
Diffstat (limited to 'conf')
-rw-r--r-- | conf/confbase.Y | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/conf/confbase.Y b/conf/confbase.Y index 9a83083c..58890cd6 100644 --- a/conf/confbase.Y +++ b/conf/confbase.Y @@ -173,7 +173,7 @@ expr_us: | expr US { $$ = $1 US_; } ; -toksym: FROM ; +toksym: FROM | PREFERENCE ; symbol: CF_SYM_UNDEFINED | CF_SYM_KNOWN | toksym ; symbol_known: CF_SYM_KNOWN | toksym ; |