diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-01 14:08:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-01 14:08:13 +0200 |
| commit | cd438d56626c012f19257d8ac52eaa7c8033d4cf (patch) | |
| tree | 6b51d9ffe95a78fe99a60f8f31908ebd5067e122 /core/dvector.h | |
| parent | df73d26314382829e4a7668bc254d7e11bc31f7d (diff) | |
| parent | 6f2977f9c394d3489a1377f0a3d63caa15bddab1 (diff) | |
Merge pull request #21656 from ibrahn/fixup-license-shortnames
Fixed up a couple of license names in COPYRIGHT.txt
Diffstat (limited to 'core/dvector.h')
0 files changed, 0 insertions, 0 deletions