Skip to content

Conversation

@bbatsov
Copy link
Contributor

@bbatsov bbatsov commented Apr 4, 2025

I'm not sure what those were used for in the past, but I'm pretty sure they are not needed anymore, as:

  • the deployment job doesn't use them
  • I was able to build the site locally only using Ruby (for Jekyll) and Node.js (for Tailwind)

Probably a remnant of earlier days of the site?

@dsyme dsyme merged commit 720df6b into fsharp:main Apr 4, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants