diff options
author | Robert Schwebel <r.schwebel@pengutronix.de> | 2016-01-25 22:06:59 +0100 |
---|---|---|
committer | Robert Schwebel <r.schwebel@pengutronix.de> | 2016-06-06 20:39:05 +0200 |
commit | 41998777df7df5456fec9d91a3434d6664142a34 (patch) | |
tree | b2bd8476ee075ccbeebd48c91c30c038286c4028 /.gitmodules | |
parent | d910c872889ce67189d8986d683bd0fbe96d3571 (diff) | |
download | DistroKit-41998777df7df5456fec9d91a3434d6664142a34.tar.gz DistroKit-41998777df7df5456fec9d91a3434d6664142a34.tar.xz |
platforms raspberrypi: remove external platform
Platforms can nowadays be easily built from git kernels (with or without
patch stacks, git or umpf), so we remove the external here.
Signed-off-by: Robert Schwebel <r.schwebel@pengutronix.de>
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules index 4b6f6a5..01aedae 100644 --- a/.gitmodules +++ b/.gitmodules @@ -4,6 +4,3 @@ [submodule "configs/platform-pengutronix-vexpress"] path = configs/platform-pengutronix-vexpress url = ../platform-pengutronix-vexpress.git -[submodule "configs/platform-pengutronix-raspberrypi"] - path = configs/platform-pengutronix-raspberrypi - url = ../platform-pengutronix-raspberrypi.git |