From 066b41df30ff9473e4352d896655aac47bfd42da Mon Sep 17 00:00:00 2001
From: anaran <adrian.aichner@gmail.com>
Date: Sun, 24 May 2015 13:49:07 +0200
Subject: [PATCH] Add link to rust documentation

---
 static/web.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/static/web.html b/static/web.html
index b4ab4de..799e3e7 100644
--- a/static/web.html
+++ b/static/web.html
@@ -49,6 +49,7 @@
 				></div
 			></div
 			><wbr><div class=right-c-e
+				><a href="https://doc.rust-lang.org/" target="_blank"><span>Documentation</span></a
 				><button type=button id=configure-editor><span>Configure editor</span></button
 				><div class=dropdown>
 					<p><label for=keyboard>Keyboard bindings:</label>