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

chore(README.md): test

Browse source
This commit is contained in:
Leonardo de Moura 2017-01-14 00:10:30 -08:00
parent 8be43e524b
commit 1f7ad171c4
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
README.md
View file

@ -53,6 +53,7 @@ Build Instructions
- [CMake + Ninja](doc/make/cmake_ninja.md)
- [Faster builds with ccache](doc/make/ccache.md)
Miscellaneous
-------------