max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix: dead link in doc

Browse source
This commit is contained in:
Daniel Selsam 2020-01-02 08:33:33 -05:00 • committed by Sebastian Ullrich
parent 8f805f5d2f
commit b4e285f91a
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
doc/make/index.md
View file

@ -111,6 +111,5 @@ Troubleshooting
Further Information
-------------------
- [Using CCache](ccache.md) to avoid recompilation
- [Measuring Code Coverage](coverage.md)
- [Compiling Lean with Split Stacks](split-stack.md)