Skip to content

Remove extraneous 'tutorials' and 'get started' buttons

John David Pressman requested to merge JD-P/ligo:dev into dev

Exactly what it says, fix a minor booboo introduced in the last set of commits that duplicated buttons on the home page.

Merge request reports