From 0830aa88cf6702471a5aba1dc8a4ce9262331f52 Mon Sep 17 00:00:00 2001
From: Peter Robinson <pbrobinson@gmail.com>
Date: Fri, 17 Nov 2017 11:51:41 +0000
Subject: drop deprecated option

---
 configs/base-generic/CONFIG_SOUND_PRIME | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 configs/base-generic/CONFIG_SOUND_PRIME

(limited to 'configs/base-generic')

diff --git a/configs/base-generic/CONFIG_SOUND_PRIME b/configs/base-generic/CONFIG_SOUND_PRIME
deleted file mode 100644
index 7a8a0ab6b..000000000
--- a/configs/base-generic/CONFIG_SOUND_PRIME
+++ /dev/null
@@ -1 +0,0 @@
-# CONFIG_SOUND_PRIME is not set
-- 
cgit