From: Arnaud Giersch Date: Sat, 2 Mar 2013 22:16:36 +0000 (+0100) Subject: Add the possibility to give a filtering RE on command line. X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba-papers.git/commitdiff_plain/36c8811c57434d275c12398d6b9049490546674d?hp=36c8811c57434d275c12398d6b9049490546674d Add the possibility to give a filtering RE on command line. ---