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