From 806fe0d3fadf15c70bb22cb8600b36252f7d171d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cl=C3=A9ment=20Le=20Bihan?= Date: Mon, 24 May 2021 09:29:36 +0200 Subject: [PATCH] desactivate cpplint.cfg --- CPPLINT.cfg => eCPPLINT.cfg | 0 lib/wal/{CPPLINT.cfg => eCPPLINT.cfg} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename CPPLINT.cfg => eCPPLINT.cfg (100%) rename lib/wal/{CPPLINT.cfg => eCPPLINT.cfg} (100%) diff --git a/CPPLINT.cfg b/eCPPLINT.cfg similarity index 100% rename from CPPLINT.cfg rename to eCPPLINT.cfg diff --git a/lib/wal/CPPLINT.cfg b/lib/wal/eCPPLINT.cfg similarity index 100% rename from lib/wal/CPPLINT.cfg rename to lib/wal/eCPPLINT.cfg