Revision 11568d2afabec977332f45f08f9febdb8ba445bf

Committed on 12/12/2012 7:35 am by Bertrand Dunogier <[email protected]> [GitHub Diff]

Naming cleanup