diff options
Diffstat (limited to 'profiles/default/linux/arm/13.0/armv5te/developer/deprecated')
| -rw-r--r-- | profiles/default/linux/arm/13.0/armv5te/developer/deprecated | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/default/linux/arm/13.0/armv5te/developer/deprecated b/profiles/default/linux/arm/13.0/armv5te/developer/deprecated deleted file mode 100644 index 3c0f6f60d176..000000000000 --- a/profiles/default/linux/arm/13.0/armv5te/developer/deprecated +++ /dev/null @@ -1 +0,0 @@ -default/linux/arm/17.0/armv5te/developer |