From debbd7291500b19f48ec48cbbb6180e298a70470 Mon Sep 17 00:00:00 2001 From: Gabriele Contini <contini.mailing@gmail.com> Date: 周一, 04 5月 2020 21:28:51 +0800 Subject: [PATCH] Merge branch 'develop' of https://github.com/open-license-manager/open-license-manager into develop --- src/library/os/linux/execution_environment.cpp | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/library/os/linux/execution_environment.cpp b/src/library/os/linux/execution_environment.cpp index a00df29..75520eb 100644 --- a/src/library/os/linux/execution_environment.cpp +++ b/src/library/os/linux/execution_environment.cpp @@ -18,7 +18,7 @@ #include "../cpu_info.hpp" #include "../execution_environment.hpp" #include "../../base/file_utils.hpp" -#include "../../base/StringUtils.h" +#include "../../base/string_utils.h" namespace license { namespace os { -- Gitblit v1.9.1