Jakob Ketterl d5b5fc3798 fix the arch command		2019-01-22 18:27:25 +00:00
..
Dockerfiles	separate patch for raspberry	2019-01-22 17:44:58 +01:00
scripts	fix the arch command	2019-01-22 18:27:25 +00:00