Wed, 13 Jul 2011 12:32:34 +0200 laurent Remove inclusion of missing file in lib
Wed, 13 Jul 2011 11:48:34 +0200 laurent Commiting merge with Mario's repository