commit | 7d83e4ca8f524368baee43ff749ef0d9c2239549 | [log] [tgz] |
---|---|---|
author | Chris Lattner <lattner@users.noreply.github.com> | Tue Jul 23 12:55:49 2024 -0700 |
committer | GitHub <noreply@github.com> | Tue Jul 23 12:55:49 2024 -0700 |
tree | c729c4eb582621bfe07cd6f724f7ebc240182e4f | |
parent | 1f51b722a397e0f07ac0a4920ca9c913ef2d356e [diff] |
Update Logo.html to clarify "old vs new" logo The "Usage rights" at the bottom of the page apply to the older logo, not to the new one. Clarify this by increasing the header size of "Older Dragon Logo" and making the subsection on usage more explicit.