diff options
author | Roland Hieber <rhi@pengutronix.de> | 2019-05-07 10:50:46 +0200 |
---|---|---|
committer | Robert Schwebel <r.schwebel@pengutronix.de> | 2019-05-07 19:04:57 +0200 |
commit | bb60297f0233532d0ed18164157d16ad59e6e0ea (patch) | |
tree | e795b7d5a684f67566dc5e8066eb3c2ea3374549 /configs/platform-v7a/platforms | |
parent | 146540d4c3636a9c3866a617bf7bf1c166ff8933 (diff) | |
download | DistroKit-bb60297f0233532d0ed18164157d16ad59e6e0ea.tar.gz DistroKit-bb60297f0233532d0ed18164157d16ad59e6e0ea.tar.xz |
ptxdist: remove nonexistent config symbol
This symbol is not part of PTXdist 2019.05.0, it cannot be found in
menuconfig, and is removed as soon as saving changes. It probably
slipped in due to local changes in the working tree during the PTXdist
update.
Fixes: 643f557226e15c4a2ec8 ("ptxdist: version bump 2019.04.0 → 2019.05.0")
Signed-off-by: Roland Hieber <rhi@pengutronix.de>
Diffstat (limited to 'configs/platform-v7a/platforms')
0 files changed, 0 insertions, 0 deletions