Skip to content

Let each environment use a user-chosen badge glyph - #26101

Closed
repparw wants to merge 1 commit into
pingdotgg:mainfrom
repparw:t3/greek-letter-environment-icons
Closed

Let each environment use a user-chosen badge glyph#26101
repparw wants to merge 1 commit into
pingdotgg:mainfrom
repparw:t3/greek-letter-environment-icons

Commits

  1. Commits on Oct 27, 2026