Hello everyone, I just wanted to post here that I uploaded a few dark themes for DrRacket in my Github: jcolivo/DrRacket-themes: DrRacket-themes (github.com) <https://github.com/jcolivo/DrRacket-themes>
I'm a relative newbie, and this is my first time uploading to Github. If I made any mistakes or if you have any suggestions, please let me know. Take care! -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/822623de-7ea6-40ab-b2c0-37a15e6fca12n%40googlegroups.com.
