From e32fdba705ada39debc0195a73005f8be4410725 Mon Sep 17 00:00:00 2001
From: Federico Igne <git@federicoigne.com>
Date: Sat, 13 Aug 2022 11:49:34 +0100
Subject: docs: update README.md

---
 README.md | 42 +++++++++++++++++++++---------------------
 1 file changed, 21 insertions(+), 21 deletions(-)

diff --git a/README.md b/README.md
index 4c6f360..bcd7b45 100755
--- a/README.md
+++ b/README.md
@@ -9,26 +9,26 @@
 
 # Running the simulator
 
-1. Clone the repository
-
-   ```sh
-   git clone https://git.dyamon.me/projects/rubik
-   ```
-   
-   or download a snapshot of the code with either
-   
-   ```sh
-   https://git.dyamon.me/projects/rubik/snapshot/rubik-master.tar.gz
-   ```
-   
-   or
-   
-   ```sh
-   wget https://git.dyamon.me/projects/rubik/snapshot/rubik-master.zip
-   ```
-
-1. Open `index.html` in your browser.
-
-1. Click on `Select File` and load a previously exported file or a file containing the output of `asp/20_rubikigne.lp` (compatible with Clingo >=4.0.0).
+Clone the repository
+
+```
+git clone https://git.dyamon.me/projects/rubik
+```
+
+or download a snapshot of the code with either
+
+```
+wget https://git.dyamon.me/projects/rubik/snapshot/rubik-master.tar.gz
+```
+
+or
+
+```
+wget https://git.dyamon.me/projects/rubik/snapshot/rubik-master.zip
+```
+
+Open `index.html` in your browser.
+
+Click on `Select File` and load a previously exported file or a file containing the output of `asp/20_rubikigne.lp` (compatible with Clingo >=4.0.0).
 
 The `examples` folder contains a few examples.
-- 
cgit v1.2.3