From 0cb41d10ef26d2c4fc208035eefdf733b0757e3c Mon Sep 17 00:00:00 2001
From: Mars Lan <mars.th.lan@gmail.com>
Date: Sat, 21 Mar 2020 15:54:52 -0700
Subject: [PATCH] Rename building.md to develop.md

---
 docs/{building.md => develop.md} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename docs/{building.md => develop.md} (100%)

diff --git a/docs/building.md b/docs/develop.md
similarity index 100%
rename from docs/building.md
rename to docs/develop.md