Skip to content

fixed some dark-theme bugs#98

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

fixed some dark-theme bugs#98
shravanngoswamii merged 2 commits intoTuringLang:mainfrom
jitendravjh:theme-bugs

Commits

Commits on Sep 19, 2024