aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authortslil clingman <>2019-07-17 10:59:22 -0400
committertslil clingman <>2019-07-17 10:59:22 -0400
commit29cfc1b3c196e3a3424a90a90c7e41a4e2362ebf (patch)
tree6562cd3eca8e3ef28373b3f5bac60f8a00af54dc
parente7eb186315d82277028e28d8870c6ba0bc772928 (diff)
Fixed link
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 332889d..ec2aef0 100644
--- a/README.md
+++ b/README.md
@@ -2,4 +2,4 @@
Write-up: pending
-Formalisation: [y_and_j.v](y_and_j/tree/master/y_and_j.v)
+Formalisation: [y_and_j.v](y_and_j.v)