Open jurgenvinju opened 2 years ago
shouldn't it be for the https://github.com/usethesource/rascal-website ?
👍 You're right! but also crosscutting in different projects: eclipse, lsp, site, Rascal project documentation
On Thu, 2 Dec 2021 at 14:33, Davy Landman @.***> wrote:
shouldn't it be for the https://github.com/usethesource/rascal-website ?
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/usethesource/usethesource.github.io/issues/21#issuecomment-984631662, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAPF5F6AGKBOLQT25OYDWLDUO5YSRANCNFSM5JHCXKMA . Triage notifications on the go with GitHub Mobile for iOS https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Android https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub.
-- Jurgen Vinju http://jurgen.vinju.org CWI SWAT TU Eindhoven Swat.engineering BV
This will be covered by the docusaurus project via @JJWTimmer
For https://usethesource.io/ there is still the wasp favicon I think?
That was a strange artifact anyway. Usethesource should have its own logo.
On Thu, 1 Dec 2022, 20:50 Jasper Timmer, @.***> wrote:
For https://usethesource.io/ there is still the wasp favicon I think?
— Reply to this email directly, view it on GitHub https://github.com/usethesource/usethesource.github.io/issues/21#issuecomment-1334312006, or unsubscribe https://github.com/notifications/unsubscribe-auth/AABL3E55HRHTJEVOQGAK5QTWLD6QHANCNFSM5JHCXKMA . You are receiving this because you commented.Message ID: @.***>
see subject. looking for a volunteer.