rename HEADER files so that they are consistent with LICENSE filenames (#7825)

This commit is contained in:
André Silva
2021-01-05 00:23:44 +00:00
committed by GitHub
parent 51028310d2
commit fd24f66c76
2 changed files with 0 additions and 0 deletions