diff options
Diffstat (limited to 'profiles/default/linux/arm/13.0/armv7a/developer/deprecated')
| -rw-r--r-- | profiles/default/linux/arm/13.0/armv7a/developer/deprecated | 1 |
1 files changed, 0 insertions, 1 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 |