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