gcontini
2020-10-31 9c33ad84278353286bbb4118cd11ca3fcfec439a
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)