Revision 164f77652bde5314ca3ec6fdcd6e7cb37869b973

Committed on 01/09/2014 6:05 am by Luca Realdi <[email protected]> [GitHub Diff]

Change triggerType