diff options
author | Michael Gisbers <michael@gisbers.de> | 2019-09-12 13:48:46 +0200 |
---|---|---|
committer | Christian Hesse <mail@eworm.de> | 2019-09-12 21:29:41 +0200 |
commit | 2258087aab5c94a3970685f7f25587ed5403111d (patch) | |
tree | d48a115041dbb0d2ef5e94ffea767545162769cd /Makefile | |
parent | 94581741f42d809a1364accda57cdf1d57519ffa (diff) |
global-functions: $DeviceInfo: handle configuration version
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions