From 5a70302c3702acde1f6ec0acf58429af5d5d07f2 Mon Sep 17 00:00:00 2001 From: Michael Thomsen Date: Fri, 16 Aug 2019 12:03:17 +0000 Subject: [PATCH] Rename patent file Rename this file to work around a limitation of the GitHub license detection tool, to ensure the repo is correctly tagged as BSD licensed Closes #37885 https://github.com/dart-lang/sdk/pull/37885 GitOrigin-RevId: 98e7e393d34f05c230bcdb00ac0832f225ef43f0 Change-Id: I86a6bcfd2bf17322a74e3f00db592b1a77501e0e Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/113340 Reviewed-by: Michael Thomsen Commit-Queue: Michael Thomsen --- 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