From: Francois Fleuret <francois@fleuret.org>
Date: Mon, 16 Mar 2009 17:57:58 +0000 (+0100)
Subject: Changed the -r option to removing of all duplicates, wherever they
X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=c597e11ab02854d2552c8966d376523902ad6d25;hp=c597e11ab02854d2552c8966d376523902ad6d25;p=selector.git

Changed the -r option to removing of all duplicates, wherever they
are. Needed a hash-table to do it kind of properly. Seems to work so
far. Wonder if the hash_table_size being ten times the maximum number
of lines makes sense.
---