From 16b7b3e6d9407e00b1ec3d77408ad770be1f1f53 Mon Sep 17 00:00:00 2001 From: Dmitri Naumov <github@naumov.de> Date: Mon, 23 Mar 2020 13:50:54 +0100 Subject: [PATCH] Remove logog from iwyu-mappings. --- scripts/jenkins/iwyu-mappings.imp | 4 ---- 1 file changed, 4 deletions(-) diff --git a/scripts/jenkins/iwyu-mappings.imp b/scripts/jenkins/iwyu-mappings.imp index ee7bf2ee8f6..e69de29bb2d 100644 --- a/scripts/jenkins/iwyu-mappings.imp +++ b/scripts/jenkins/iwyu-mappings.imp @@ -1,4 +0,0 @@ -[ - { include: ["<logog/include/macro.hpp>", "private", "<logog/include/logog.hpp>", "public"] }, - { include: ["<logog/include/message.hpp>", "private", "<logog/include/logog.hpp>", "public"] } -] -- GitLab