From df3c1d8dd2592de94f63c3d3b6ebda7715fad3c0 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 23 Aug 2014 18:17:47 -0700 Subject: [PATCH] chore(README.md): minor correction Signed-off-by: Leonardo de Moura --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 634b92059..d63877d15 100644 --- a/README.md +++ b/README.md @@ -23,7 +23,7 @@ About - [To Do list](doc/todo.md) - [Authors](doc/authors.md) - [Tutorial](doc/lean/tutorial.org) -- Library: [standard](library/standard.md) +- [Standard Library](library/standard.md) Requirements ------------