diff options
| author | P. J. McDermott <pehjota> | 2015-07-08 17:03:16 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2015-07-08 17:03:16 (EDT) |
| commit | 831e7673cc1fba90665bee46a4bc9ac509cc79ac (patch) | |
| tree | 9710132eab7c03adaacef52b80704f94f1226e23 | |
| parent | c0993b62e6b757ef45f9f237fda6c5acf7aa1916 (diff) | |
wiki/editing: Drop "Web Editing" for now
| -rw-r--r-- | wiki/editing.mdwn | 10 |
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 ================= |