From 95b510618ed620fadae6eb090faf7696e0b1f8d1 Mon Sep 17 00:00:00 2001 From: Michael Thomsen Date: Fri, 16 Aug 2019 16:54:58 +0100 Subject: [PATCH] Rename patent file (#38686) Rename this file to work around a limitation of the GitHub license detection tool, to ensure the repo is correctly tagged as BSD licensed --- PATENTS => PATENT_GRANT | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename PATENTS => PATENT_GRANT (100%) diff --git a/PATENTS b/PATENT_GRANT similarity index 100% rename from PATENTS rename to PATENT_GRANT