From b0eb4acd41185ef8f309aa7c0abcdb0c56a89063 Mon Sep 17 00:00:00 2001 From: Jeff LANCE Date: Mon, 2 Jul 2018 23:09:58 +0200 Subject: [PATCH] Rename profile desktop to linux-desktop. --- libs/profiles/{desktop => linux-desktop} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename libs/profiles/{desktop => linux-desktop} (100%) diff --git a/libs/profiles/desktop b/libs/profiles/linux-desktop similarity index 100% rename from libs/profiles/desktop rename to libs/profiles/linux-desktop