From 78dfec2a4bb546ef9eab18c02828d969c4d4c781 Mon Sep 17 00:00:00 2001 From: Mathieu Giraud Date: Fri, 29 Jul 2016 15:07:01 +0200 Subject: [PATCH] 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. --- doc/{browser.org => user.org} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename doc/{browser.org => user.org} (100%) diff --git a/doc/browser.org b/doc/user.org similarity index 100% rename from doc/browser.org rename to doc/user.org