summaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authorAndrea Censi <acensi@ethz.ch>2022-05-11 19:40:26 +0200
committerAndrea Censi <acensi@ethz.ch>2022-05-11 19:40:26 +0200
commit201dbe2a5b615438fd81ad8ddb874d9fb0e47ba7 (patch)
tree4076711f34a056726158807fe19a8d0cc3d38a9b /README.md
parentUpdate README.md (diff)
downloadact4e-201dbe2a5b615438fd81ad8ddb874d9fb0e47ba7.tar.gz
act4e-201dbe2a5b615438fd81ad8ddb874d9fb0e47ba7.zip
minor
Diffstat (limited to 'README.md')
-rw-r--r--README.md4
1 files changed, 1 insertions, 3 deletions
diff --git a/README.md b/README.md
index 210ca92..c24aaf4 100644
--- a/README.md
+++ b/README.md
@@ -1,8 +1,7 @@
-
-
## Setup
### Install Docker
+
<ul>
<li> (Mac, Linux) Follow the [installation instructions](https://docs.docker.com/get-docker/) </li>
<li>(Windows):
@@ -13,7 +12,6 @@
</li>
</ul>
-
### Install VS Code.
Select File -> Open and select *the entire folder*.