Thomas Schmitt c1e7b52ba4 Eased re-enabling of libtool --silent at bootstrap time		2016-08-12 18:39:28 +00:00
..
branches/1.2.4	Promoted branch to tag	2016-07-02 15:05:02 +00:00
tags	Promoted branch to tag	2016-07-02 15:05:02 +00:00
trunk	Eased re-enabling of libtool --silent at bootstrap time	2016-08-12 18:39:28 +00:00