From: lkcl <lkcl@web>
Date: Thu, 23 Jan 2020 10:34:23 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~3776
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=67da5da927f5479257d79e07e6cd5ce2275eb0e7;p=libreriscv.git

---

diff --git a/HDL_workflow.mdwn b/HDL_workflow.mdwn
index fa7c98a62..fbe705b66 100644
--- a/HDL_workflow.mdwn
+++ b/HDL_workflow.mdwn
@@ -54,10 +54,12 @@ After going through the onboarding process and having agreed to take responsibil
 NEVER SEND ANYONE THE PRIVATE KEY.
 
 Create a file ~/.ssh/config with the following lines:
+
     Host git.libre-riscv.org
     Port 922
 
 Wait for the Project Admin to confirm that the ssh key has been added to the required repositories.  Once confirmed,
 you can clone any of the repos at http://git.libre-riscv.org:
+
     git clone gitolite3@git.libre-riscv.org:REPONAME.git