[gnome-boxes.wiki] Rename page back to "home"



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]