Revision 8d24bb5625d72476b69f16794a7bc84f064333bf

Committed on 28/05/2019 3:40 pm by Markus Bachmann <markus.bachmann@bachi.biz> [GitHub Diff]

Update makefile