doc/: browser.org -> user.org

This is our user manual. We do not mention 'browser' anywhere in this documentation except while referring to web browsers.
bonsai-team · Jul 29, 2016 · 78dfec2 · 78dfec2
1 parent af9e4ff
commit 78dfec2
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/doc/browser.org → doc/user.org b/doc/browser.org → doc/user.org