From: sam.falvo@17f6adbe8f635848e4172ed4b0605ed129a791a2 <samfalvo@web>
Date: Wed, 15 Jul 2020 01:28:21 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~2349
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e09bec05d5a646533df3b8c88f380e0070f2a5a6;p=libreriscv.git

---

diff --git a/Samuel_A_Falvo_II.mdwn b/Samuel_A_Falvo_II.mdwn
index 409086795..bce8f6882 100644
--- a/Samuel_A_Falvo_II.mdwn
+++ b/Samuel_A_Falvo_II.mdwn
@@ -4,7 +4,7 @@ Individual Contributor.
 
 ## Handy Things to Know
 
-- [Notes on Formal Proofs.](Documentation/notes_on_formal_proofs.mdwn)
+- [Notes on Formal Proofs.](/Documentation/notes_on_formal_proofs.mdwn)
 
 # Status tracking