From 9fb42721de07681ced4d991ec91f1e5db562a13e Mon Sep 17 00:00:00 2001
From: Christian Clauss <cclauss@me.com>
Date: Tue, 3 Dec 2019 11:38:53 +0100
Subject: [PATCH] Delete .cpplint

---
 .cpplint | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 .cpplint

diff --git a/.cpplint b/.cpplint
deleted file mode 100644
index bda1801bf..000000000
--- a/.cpplint
+++ /dev/null
@@ -1,7 +0,0 @@
-set noparent
-filter=-legal/copyright
-linelength=80
-
-# See:  cpplint --help  # for all options
-# Also: cpplint.py --filter=  # for all filters
-# Use - to turn off the requirement for a copyright comment