diff options
Diffstat (limited to 'profiles/default/linux/arm/13.0/armv4')
5 files changed, 5 insertions, 0 deletions
diff --git a/profiles/default/linux/arm/13.0/armv4/deprecated b/profiles/default/linux/arm/13.0/armv4/deprecated new file mode 100644 index 000000000000..3eecbaa283d2 --- /dev/null +++ b/profiles/default/linux/arm/13.0/armv4/deprecated @@ -0,0 +1 @@ +default/linux/arm/17.0/armv4 diff --git a/profiles/default/linux/arm/13.0/armv4/desktop/deprecated b/profiles/default/linux/arm/13.0/armv4/desktop/deprecated new file mode 100644 index 000000000000..c8eeb4c07c66 --- /dev/null +++ b/profiles/default/linux/arm/13.0/armv4/desktop/deprecated @@ -0,0 +1 @@ +default/linux/arm/17.0/armv4/desktop diff --git a/profiles/default/linux/arm/13.0/armv4/desktop/gnome/deprecated b/profiles/default/linux/arm/13.0/armv4/desktop/gnome/deprecated new file mode 100644 index 000000000000..b9a1e50769c5 --- /dev/null +++ b/profiles/default/linux/arm/13.0/armv4/desktop/gnome/deprecated @@ -0,0 +1 @@ +default/linux/arm/17.0/armv4/desktop/gnome diff --git a/profiles/default/linux/arm/13.0/armv4/desktop/plasma/deprecated b/profiles/default/linux/arm/13.0/armv4/desktop/plasma/deprecated new file mode 100644 index 000000000000..f1357d4046c4 --- /dev/null +++ b/profiles/default/linux/arm/13.0/armv4/desktop/plasma/deprecated @@ -0,0 +1 @@ +default/linux/arm/17.0/armv4/desktop/plasma diff --git a/profiles/default/linux/arm/13.0/armv4/developer/deprecated b/profiles/default/linux/arm/13.0/armv4/developer/deprecated new file mode 100644 index 000000000000..f14c7bc07463 --- /dev/null +++ b/profiles/default/linux/arm/13.0/armv4/developer/deprecated @@ -0,0 +1 @@ +default/linux/arm/17.0/armv4/developer |