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
M
Michael Thomsen committed
95b510618ed620fadae6eb090faf7696e0b1f8d1
Parent: 267b858
Committed by GitHub <noreply@github.com>
on 8/16/2019, 3:54:58 PM