Merge branch 'merge-requests/32'
[irker:irker.git] / filter-example.py
2012-10-04 Eric S. RaymondAdd an external filtering facility.