projects / libreriscv.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e09bec0)
pathname update
authorSamuel A. Falvo II <kc5tja@arrl.net>
Wed, 15 Jul 2020 01:30:33 +0000 (18:30 -0700)
committerSamuel A. Falvo II <kc5tja@arrl.net>
Wed, 15 Jul 2020 01:30:33 +0000 (18:30 -0700)
Samuel_A_Falvo_II.mdwn patch | blob | history

diff --git a/Samuel_A_Falvo_II.mdwn b/Samuel_A_Falvo_II.mdwn
index bce8f6882aef2d17529e06f469f2bdc284d22a09..869c66b974e86441892ef65a27c0ab72cc6cb2dc 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)
 
 # Status tracking
 
http://libre-riscv.org ikiwiki