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

fix(library/library.md): stray keystroke

Browse source
This commit is contained in:
Leonardo de Moura 2016-11-19 10:25:33 -08:00
parent ed2a507dd9
commit c6179721a4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
library/library.md
View file

@ -1,4 +1,4 @@
dThe Lean Standard Library
The Lean Standard Library
=========================
The Lean standard library is contained in the following files and directories: