diff options
author | Robert Schwebel <r.schwebel@pengutronix.de> | 2020-05-08 18:54:16 +0200 |
---|---|---|
committer | Robert Schwebel <r.schwebel@pengutronix.de> | 2020-05-08 18:54:16 +0200 |
commit | e266c3734cde2ef818a2b12795b2acfbe6b2f2a5 (patch) | |
tree | 471d7414c44f40732fb7104791889940e39b036d /configs/platform-v7a/barebox-stm32mp.config | |
parent | 3eed81196605e62629542eaa9d473c853da4a7d3 (diff) | |
download | DistroKit-e266c3734cde2ef818a2b12795b2acfbe6b2f2a5.tar.gz DistroKit-e266c3734cde2ef818a2b12795b2acfbe6b2f2a5.tar.xz |
ptxdist: version bump 2020.04.0 -> 2020.05.0
A new ptxdist version is out, update DistroKit.
Signed-off-by: Robert Schwebel <r.schwebel@pengutronix.de>
Diffstat (limited to 'configs/platform-v7a/barebox-stm32mp.config')
0 files changed, 0 insertions, 0 deletions