From ffa1a6272d1fc176eb3b5cf5e4380be11be57eb1 Mon Sep 17 00:00:00 2001
From: gcontini <1121667+gcontini@users.noreply.github.com>
Date: 周六, 02 5月 2020 11:38:05 +0800
Subject: [PATCH] Merge branch 'develop' of https://github.com/open-license-manager/open-license-manager into develop

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

diff --git a/doc/development/Build-the-library.md b/doc/development/Build-the-library.md
index 974a1d6..00f8854 100644
--- a/doc/development/Build-the-library.md
+++ b/doc/development/Build-the-library.md
@@ -1,4 +1,4 @@
-# Linux
+# Build - Linux
 
 ## Install prerequisites
 Below the prerequisites for compiling open-license-manager. For developing it we use Eclipse. Recent CDT works smoothly with CMake. Remember to install the Ninja package as build system and Cmake Gui for a good eclipse integration.

--
Gitblit v1.9.1