Revision 1ae0f90857f6ff115752e19e9d726d6378076723

Committed on 10/04/2015 7:13 am by André R <ar@ez.no> [GitHub Diff]

[Travis] DEBUGGING -> DEBUG