From: lkcl <lkcl@web>
Date: Sun, 1 Mar 2020 02:36:30 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~3265
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c346369aab303f9ccc13c7d843033a6852fd14fb;p=libreriscv.git

---

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index d5791e2e4..7b0065218 100644
--- a/HDL_workflow/coriolis2.mdwn
+++ b/HDL_workflow/coriolis2.mdwn
@@ -1,3 +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
+
 # Installing Coriolis2
 
 ## debootstrap