From 0c4454c4d61cd46dbe8671eb2fa40f87b393d233 Mon Sep 17 00:00:00 2001 From: Kirk Haines Date: Mon, 19 Feb 2024 15:35:15 -0700 Subject: [PATCH] There was an extra underscore character in the URL. (#31) Pushing this through as it is minor and fixes a broken link. --- content/module-2/4-topos-zkevm-demo.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/module-2/4-topos-zkevm-demo.md b/content/module-2/4-topos-zkevm-demo.md index af5c7f5..042b90a 100644 --- a/content/module-2/4-topos-zkevm-demo.md +++ b/content/module-2/4-topos-zkevm-demo.md @@ -16,7 +16,7 @@ In addition to the Topos Playground, there is another tool for interacting with #### Software - Linux or MacOS -- [Docker](https://docs.docker.com/get-docker/_) version 17.06.0 or greater +- [Docker](https://docs.docker.com/get-docker/) version 17.06.0 or greater - [Docker Compose](https://docs.docker.com/compose/install/) version 2.0.0 or greater - [NodeJS](https://nodejs.dev/en/) version 16.0.0 or greater - [Rust](https://www.rust-lang.org/tools/install) recent nightly (2024)