Remove a remaining link to the playground

mattam82 · mattam82 · commit b66825be2c64 · 2025-01-30T13:10:24.000+01:00
diff --git a/src/rocqproverorg_frontend/components/footer.eml b/src/rocqproverorg_frontend/components/footer.eml
@@ -17,7 +17,6 @@ let resources = [
   (Url.books, "Books");
   (Url.exercises, "Exercises");
   (Url.papers, "Papers");
-  (Url.playground, "Rocq Playground");
   (Url.logos, "Logo");
   ]
 

Original file line number	Diff line number	Diff line change
`@@ -17,7 +17,6 @@ let resources = [`
`17`	`17`	`(Url.books, "Books");`
`18`	`18`	`(Url.exercises, "Exercises");`
`19`	`19`	`(Url.papers, "Papers");`
`20`		`- (Url.playground, "Rocq Playground");`
`21`	`20`	`(Url.logos, "Logo");`
`22`	`21`	`]`
`23`	`22`