]> WPIA git - gigi.git/commitdiff
Merge "upd: native Makefile improvements"
authorFelix Dörre <felix@dogcraft.de>
Wed, 14 Sep 2016 19:45:01 +0000 (21:45 +0200)
committerGerrit Code Review <gigi-system@dogcraft.de>
Wed, 14 Sep 2016 19:45:01 +0000 (21:45 +0200)

Trivial merge