From: Arnaud Giersch Date: Wed, 7 Mar 2012 11:13:30 +0000 (+0100) Subject: make_params: PREFIX can be set from 2nd parameter on command line. X-Git-Tag: exp_20120308~3 X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/commitdiff_plain/c0eaeb249c8fd246f3a56f18f61e417c277f43c1?ds=sidebyside;hp=c0eaeb249c8fd246f3a56f18f61e417c277f43c1 make_params: PREFIX can be set from 2nd parameter on command line. ---