From 779d0544239daffd40977c028c3a5779843fcea7 Mon Sep 17 00:00:00 2001 From: "Samuel A. Falvo II" Date: Tue, 14 Jul 2020 18:30:33 -0700 Subject: [PATCH] pathname update --- Samuel_A_Falvo_II.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2