diff options
| author | Chris Waldon <christopher.waldon.dev@gmail.com> | 2019-06-19 20:51:49 -0400 |
|---|---|---|
| committer | Drew DeVault <sir@cmpwn.com> | 2019-06-19 20:58:00 -0400 |
| commit | ce7bfed1e3f849ebb8f903d81615f6e14c60d1ba (patch) | |
| tree | 04c204d31e022767c430b159a0b0be5a5ca38564 /man.sr.ht | |
| parent | 08142b3a66343759712543fcceb0d5bea2c871c2 (diff) | |
| download | sr.ht-docs-ce7bfed1e3f849ebb8f903d81615f6e14c60d1ba.tar.gz | |
Remove docs for unimplemented features
Diffstat (limited to 'man.sr.ht')
| -rw-r--r-- | man.sr.ht/index.md | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/man.sr.ht/index.md b/man.sr.ht/index.md index aacd017..d58e208 100644 --- a/man.sr.ht/index.md +++ b/man.sr.ht/index.md @@ -43,12 +43,4 @@ are: Publishing your changes is as easy as committing them and pushing them upstream. You can collaborate with others on your wiki the same way you do on your git.sr.ht projects - a mailing list on lists.sr.ht or -any other approach that you like. You can also make your wiki publically -editable in the wiki settings, or give particular people permission to -push to it. - -## Editing in your browser - -You can also make edits in your web browser if you're logged into the -site. Click "edit page" near the top of each page to pull up the editor. -We can make a commit to the repository for you when you're done. +any other approach that you like. |