Revision deee5defa8bf2c08e19202a7732c13a759e5f0d0

Committed on 20/12/2012 9:03 am by Massi <massimiliano.pasquesi@openwide.fr> [GitHub Diff]

Merge branch 'master' of github.com:Open-Wide/ezinit_full