Skip to content

fixed minor bugs in dark-theme#523

Merged
shravanngoswamii merged 2 commits intoTuringLang:masterfrom
jitendravjh:theme-bugs
Sep 19, 2024
Merged

fixed minor bugs in dark-theme#523
shravanngoswamii merged 2 commits intoTuringLang:masterfrom
jitendravjh:theme-bugs

Commits

Commits on Sep 19, 2024