From 7c81f3258d4a208d3db8b8c6cffcfa823c407a32 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Franti=C5=A1ek=20Boh=C3=A1=C4=8Dek?= Date: Tue, 22 Jun 2021 08:58:06 +0200 Subject: [PATCH] docs: move doc to user manual --- docs/{doc.org => user-manual.org} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename docs/{doc.org => user-manual.org} (100%) diff --git a/docs/doc.org b/docs/user-manual.org similarity index 100% rename from docs/doc.org rename to docs/user-manual.org