summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorP. J. McDermott <pehjota>2015-07-08 17:03:16 (EDT)
committer P. J. McDermott <pj@pehjota.net>2015-07-08 17:03:16 (EDT)
commit831e7673cc1fba90665bee46a4bc9ac509cc79ac (patch)
tree9710132eab7c03adaacef52b80704f94f1226e23
parentc0993b62e6b757ef45f9f237fda6c5acf7aa1916 (diff)
wiki/editing: Drop "Web Editing" for now
-rw-r--r--wiki/editing.mdwn10
1 files changed, 0 insertions, 10 deletions
diff --git a/wiki/editing.mdwn b/wiki/editing.mdwn
index faa3021..5edb134 100644
--- a/wiki/editing.mdwn
+++ b/wiki/editing.mdwn
@@ -72,16 +72,6 @@ while. For example:
git pull origin master
-Web Editing
-===========
-
-This wiki also supports editing by authenticated users through an interactive
-Web interface.
-
-On most pages, you can click the "Edit" link in the sidebar to log in and begin
-editing.
-
-
Formatting Syntax
=================