-
jean-pierre charras authored
This was due to a duplicate constants ( with sligtly different values) used to select items in some seach functions that broke filtering. Old definitions removed.
4f3708c1
This was due to a duplicate constants ( with sligtly different values) used to select items in some seach functions that broke filtering. Old definitions removed.