Revision b9b77092926f0dd3c3a8dcaabf3cd0c78bb0171c

Committed on 20/02/2017 1:02 am by Morel Sébastien <morel.seb@gmail.com> [GitHub Diff]

Fix type makefile