From a2da7ee9b5198a24657947b086c7531312833be8 Mon Sep 17 00:00:00 2001
From: gcontini <1121667+gcontini@users.noreply.github.com>
Date: 周日, 08 3月 2020 22:13:46 +0800
Subject: [PATCH] Merge remote-tracking branch 'origin/develop' into feature/pc_identifiers

---
 src/library/os/windows/execution_environment.cpp |    6 ------
 1 files changed, 0 insertions(+), 6 deletions(-)

diff --git a/src/library/os/windows/execution_environment.cpp b/src/library/os/windows/execution_environment.cpp
index b9d43ca..f5a0fb8 100644
--- a/src/library/os/windows/execution_environment.cpp
+++ b/src/library/os/windows/execution_environment.cpp
@@ -1,9 +1,3 @@
-/*
- * virtualization.cpp
- *
- *  Created on: Dec 15, 2019
- *      Author: GC
- */
 #include <paths.h>
 #include <sys/stat.h>
 #include <unistd.h>

--
Gitblit v1.9.1