Revision 70867667c1f58ab0aac29aeae0128907beaab525

Committed on 09/02/2018 4:16 am by André R <ar@ez.no> [GitHub Diff]

add gitingore for Resources folder and adapt build script for it