diff options
Diffstat (limited to 'profiles/default/linux/arm/13.0/armv7a/developer')
3 files changed, 0 insertions, 4 deletions
diff --git a/profiles/default/linux/arm/13.0/armv7a/developer/deprecated b/profiles/default/linux/arm/13.0/armv7a/developer/deprecated deleted file mode 100644 index 9af071899d1a..000000000000 --- a/profiles/default/linux/arm/13.0/armv7a/developer/deprecated +++ /dev/null @@ -1 +0,0 @@ -default/linux/arm/17.0/armv7a/developer diff --git a/profiles/default/linux/arm/13.0/armv7a/developer/eapi b/profiles/default/linux/arm/13.0/armv7a/developer/eapi deleted file mode 100644 index 7ed6ff82de6b..000000000000 --- a/profiles/default/linux/arm/13.0/armv7a/developer/eapi +++ /dev/null @@ -1 +0,0 @@ -5 diff --git a/profiles/default/linux/arm/13.0/armv7a/developer/parent b/profiles/default/linux/arm/13.0/armv7a/developer/parent deleted file mode 100644 index 5c8258a71e32..000000000000 --- a/profiles/default/linux/arm/13.0/armv7a/developer/parent +++ /dev/null @@ -1,2 +0,0 @@ -.. -../../../../../../targets/developer |