From ef7df8048d1067d3148287f27af9047743f1e2ae Mon Sep 17 00:00:00 2001
From: gcontini <1121667+gcontini@users.noreply.github.com>
Date: 周日, 15 3月 2020 16:26:21 +0800
Subject: [PATCH] Merge branch 'feature/pc_identifiers' into develop issues #2 #3 #14 #49

---
 doc/development/Build-the-library.md |    2 --
 1 files changed, 0 insertions(+), 2 deletions(-)

diff --git a/doc/Build-the-library.md b/doc/development/Build-the-library.md
similarity index 99%
rename from doc/Build-the-library.md
rename to doc/development/Build-the-library.md
index 8241630..974a1d6 100644
--- a/doc/Build-the-library.md
+++ b/doc/development/Build-the-library.md
@@ -1,5 +1,3 @@
-@ingroup  group_01
-
 # Linux
 
 ## Install prerequisites

--
Gitblit v1.9.1