Alex Roitman 9416a5eaed * src/GenericFilter.py: Convert to ids. ...

* src/plugins/FilterEditor.py: Convert to ids.
* src/plugins/WebPage.py: Convert to ids.


svn: r3002

2004-03-11 03:31:35 +00:00

273 KiB

Raw Blame History

View Raw