diff options
| author | tslil clingman <> | 2019-07-17 11:35:22 -0400 |
|---|---|---|
| committer | tslil clingman <> | 2019-07-17 11:37:04 -0400 |
| commit | 2c93da3be2a88c222efda21efa783b124c77f9f9 (patch) | |
| tree | b4bc0ed17744bd40f9ea4b60c84a47d8bd8cd7c9 | |
| parent | 29cfc1b3c196e3a3424a90a90c7e41a4e2362ebf (diff) | |
Markdown formatting
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,4 +2,4 @@ Write-up: pending -Formalisation: [y_and_j.v](y_and_j.v) +Formalisation: [y_and_j.v](y\_and\_j.v) |