From adae2bb15db2ab64d3f9d4a98d66b93d947e89ba Mon Sep 17 00:00:00 2001
From: bernie <bernie@75.147.59.54>
Date: Mon, 14 Sep 2009 02:17:41 +0200
Subject: [PATCH] Edit page EditingTips

---
 EditingTips | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/EditingTips b/EditingTips
index 9fc4653..9c4cbfc 100644
--- a/EditingTips
+++ b/EditingTips
@@ -141,7 +141,7 @@ You can use ##div##, ##span## and ##iframe## elements with any attribute, includ
 
 == Pragmas ==
 
-Wiki pages can provide special commands in their header, in the form:
+Wiki pages can specify special-purpose commands in their header.  In the form:
 
 {{{
 # &lt;keyword&gt; &lt;values&gt;
-- 
2.25.1