From: Arnaud Giersch Date: Tue, 4 Jan 2011 14:48:23 +0000 (+0100) Subject: Named options may now be selected by prefix if there is no ambiguity. X-Git-Tag: v0.1~208 X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/commitdiff_plain/f7a78d4e11841dea09a3c0cb60f55a689856a22f?ds=sidebyside;hp=f7a78d4e11841dea09a3c0cb60f55a689856a22f Named options may now be selected by prefix if there is no ambiguity. ---