Revision 70867667c1f58ab0aac29aeae0128907beaab525

Committed on 09/02/2018 4:16 am by André R <[email protected]> [GitHub Diff]

add gitingore for Resources folder and adapt build script for it