Revision b524a84cc886cf00ea38d876aae0b18ee330e8ee

Committed on 04/04/2016 7:21 am by Jérôme Vieilledent <[email protected]> [GitHub Diff]

Added semantic configuration