projects / libreriscv.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 32dbb7b)
(no commit message)
authorsam.falvo@17f6adbe8f635848e4172ed4b0605ed129a791a2 <samfalvo@web>
Wed, 15 Jul 2020 01:28:21 +0000 (02:28 +0100)
committerIkiWiki <ikiwiki.info>
Wed, 15 Jul 2020 01:28:21 +0000 (02:28 +0100)
Samuel_A_Falvo_II.mdwn patch | blob | history

diff --git a/Samuel_A_Falvo_II.mdwn b/Samuel_A_Falvo_II.mdwn
index 409086795e3378c47b15f59cff9e546a82769367..bce8f6882aef2d17529e06f469f2bdc284d22a09 100644 (file)
--- 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
 
http://libre-riscv.org ikiwiki