[gnome-boxes.wiki] Rename page back to "home"
- From: Felipe Borges <felipeborges src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-boxes.wiki] Rename page back to "home"
- Date: Tue, 19 Mar 2019 13:42:44 +0000 (UTC)
commit ff38fd131f1feb57429f80bc0e879d415bfc3a59
Author: Felipe Borges <felipeborges gnome org>
Date: Tue Mar 19 13:42:41 2019 +0000
Rename page back to "home"
GNOME-Boxes:-Developer-guide.md => home.md | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
---
diff --git a/GNOME-Boxes:-Developer-guide.md b/home.md
similarity index 92%
rename from GNOME-Boxes:-Developer-guide.md
rename to home.md
index 6834d67..ece215d 100644
--- a/GNOME-Boxes:-Developer-guide.md
+++ b/home.md
@@ -1,6 +1,8 @@
+# GNOME Boxes: Developer guide
+
Welcome to the **GNOME Boxes Developer guide**! This wiki is focused on developers, designers, and
translators, contributing or interested in understanding the project internals. If you are looking for usage
tips and instructions, you can find it at the [User
Documentation](https://help.gnome.org/users/gnome-boxes/stable/index.html) (translated in various languages).
-# Documentation topics
+## Documentation topics
This guide intends to provide information to help new contributors and also serve as a reference for
experienced contributors.
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]