Revision e2347cbc7999c583fe2987c210c60b0316be428a

Committed on 03/06/2016 6:50 am by Laurent Sabatier <laurent.sabatier@openwide.fr> [GitHub Diff]

Remove unused Criterion