diff options
author | Robert Schwebel <r.schwebel@pengutronix.de> | 2019-08-12 11:19:20 +0200 |
---|---|---|
committer | Robert Schwebel <r.schwebel@pengutronix.de> | 2019-08-12 11:19:20 +0200 |
commit | 4eaf9a120919bf14923ee5d6138f7c5245ad3a38 (patch) | |
tree | 612dd2d2e2c81a3b0ea2ad52c5ba4f8d761b6dfc /configs/platform-v7a/barebox-mx6.config.diff | |
parent | a7b901d51c7779871d93a793c760a21e21c5f5b0 (diff) | |
download | DistroKit-4eaf9a120919bf14923ee5d6138f7c5245ad3a38.tar.gz DistroKit-4eaf9a120919bf14923ee5d6138f7c5245ad3a38.tar.xz |
ptxdist: version bump 2019.07.0 -> 2019.08.0
A new ptxdist version is out, so we migrate Distrokit.
Signed-off-by: Robert Schwebel <r.schwebel@pengutronix.de>
Diffstat (limited to 'configs/platform-v7a/barebox-mx6.config.diff')
0 files changed, 0 insertions, 0 deletions