From: Samuel A. Falvo II Date: Wed, 15 Jul 2020 01:30:33 +0000 (-0700) Subject: pathname update X-Git-Tag: convert-csv-opcode-to-binary~2348 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=779d0544239daffd40977c028c3a5779843fcea7;p=libreriscv.git pathname update --- diff --git a/Samuel_A_Falvo_II.mdwn b/Samuel_A_Falvo_II.mdwn index bce8f6882..869c66b97 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) # Status tracking