From 4cbd7a3c092b688cb6cfc75ea656e239e1793d70 Mon Sep 17 00:00:00 2001 From: Laura Abbott Date: Tue, 16 Jul 2019 08:59:21 -0400 Subject: Linux v5.2-10808-g9637d517347e --- configs/fedora/generic/CONFIG_HEADERS_INSTALL | 1 + 1 file changed, 1 insertion(+) create mode 100644 configs/fedora/generic/CONFIG_HEADERS_INSTALL (limited to 'configs/fedora/generic/CONFIG_HEADERS_INSTALL') diff --git a/configs/fedora/generic/CONFIG_HEADERS_INSTALL b/configs/fedora/generic/CONFIG_HEADERS_INSTALL new file mode 100644 index 000000000..5b3057511 --- /dev/null +++ b/configs/fedora/generic/CONFIG_HEADERS_INSTALL @@ -0,0 +1 @@ +# CONFIG_HEADERS_INSTALL is not set -- cgit