From: lkcl <lkcl@web>
Date: Tue, 10 Mar 2020 14:37:13 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~3163
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=81d6d42eba559fc57b0220ae745c80d569450eed;p=libreriscv.git

---

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index 59f2c7854..8fd95eab9 100644
--- a/HDL_workflow/coriolis2.mdwn
+++ b/HDL_workflow/coriolis2.mdwn
@@ -1,7 +1,8 @@
 TODO, repos moved
-git remote set-url origin https://gitlab.lip6.fr/vlsi-eda/alliance-check-toolkit.git
-  git remote set-url origin https://gitlab.lip6.fr/vlsi-eda/alliance.git
-  git remote set-url origin https://gitlab.lip6.fr/vlsi-eda/coriolis.git
+
+    git remote set-url origin https://gitlab.lip6.fr/vlsi-eda/alliance-check-toolkit.git
+    git remote set-url origin https://gitlab.lip6.fr/vlsi-eda/alliance.git
+    git remote set-url origin https://gitlab.lip6.fr/vlsi-eda/coriolis.git
 
 # Installing Coriolis2