From eea17dee20781db0e1aabacd736632d1f788994d Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Sat, 28 May 2016 14:19:22 -0700
Subject: 3024

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'index.html')

diff --git a/index.html b/index.html
index 8e87c2cf..bc1958ce 100644
--- a/index.html
+++ b/index.html
@@ -256,7 +256,7 @@ combining two text editor widgets, one on the left, one on the right.
 <br/><a href='html/edit/005-sandbox.mu.html'>edit/005-sandbox.mu</a>: support
 for running mu code in the right-hand widget using code from the left, and
 displaying results in a <em>sandbox</em> below on the right. You can have
-multiple sandboxes, and hit F4 to rerun them all at anytime with the latest
+multiple sandboxes, and hit F4 to rerun them all at any time with the latest
 version of the code on the left side.
 <br/><a href='html/edit/006-sandbox-copy.mu.html'>edit/006-sandbox-edit.mu</a>:
 click on the 'copy' button in each sandbox to duplicate its contents.
-- 
cgit 1.4.1-2-gfad0