possibly make a distinction between icons being more generally applied and badges having a formal meaning?

This commit is contained in:
Benjamin Bach 2023-01-23 09:52:52 +01:00
parent 79ff1446c3
commit 28735d3598
Signed by untrusted user: benjaoming
GPG key ID: 7D49441634585664
4 changed files with 0 additions and 0 deletions

View file

Before

Width:  |  Height:  |  Size: 937 B

After

Width:  |  Height:  |  Size: 937 B

View file

Before

Width:  |  Height:  |  Size: 961 B

After

Width:  |  Height:  |  Size: 961 B

View file

Before

Width:  |  Height:  |  Size: 1.1 KiB

After

Width:  |  Height:  |  Size: 1.1 KiB

View file

Before

Width:  |  Height:  |  Size: 801 B

After

Width:  |  Height:  |  Size: 801 B