Revision 5774ed264449fef397665eebb121612f45bd5187

Committed on 02/01/2017 6:34 am by Emmanuel Drouet <emmanuel.drouet@gmail.com> [GitHub Diff]

initialize platform interface