Commit dc6a635
Fix link rendering in 0014-convert-num.md (#293)
https://model-checking.github.io/verify-rust-std/challenges does not
autoconvert github issue links
By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
Co-authored-by: Michael Tautschnig <tautschn@amazon.com>1 parent a0dc7f4 commit dc6a635
1 file changed
+1
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | 3 | | |
4 | | - | |
| 4 | + | |
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
| |||
0 commit comments