(no commit message)

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index 59f2c785497fa085b4cb1eb0b500e66f658665bd..8fd95eab9ee42db76b439ac04c0721efae530e0a 100644 (file)
--- 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