gcontini
2020-10-31 85d97f05f6f8e4c1d73cd2bb096806839d16f3b0
src/library/os/CMakeLists.txt
@@ -16,7 +16,6 @@
         openssl/signature_verifier.cpp 
        execution_environment_common.cpp 
        windows/execution_environment.cpp
         windows/isvm/Native.cpp
        windows/isvm/BIOSReader.cpp
         windows/os_win.cpp
         windows/network.cpp)
@@ -30,7 +29,6 @@
        windows/signature_verifier.cpp 
        execution_environment_common.cpp 
        windows/execution_environment.cpp
        windows/isvm/Native.cpp
        windows/isvm/BIOSReader.cpp
        windows/os_win.cpp
        windows/network.cpp)