diff options
author | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-11-24 13:50:49 +0100 |
---|---|---|
committer | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-11-24 13:50:49 +0100 |
commit | 050e0a9b9989d7caa4ff0089f4e4daf9f827eb22 (patch) | |
tree | ea5a85b705bd1ec48782f1e49ade1cd3417a20c7 /cmake | |
parent | bc677b1194651cf674f152495f1f204de5ba6375 (diff) |
Rename Windows build environment file
Diffstat (limited to 'cmake')
-rw-r--r-- | cmake/windows_build_environment_name | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cmake/windows_build_environment_name b/cmake/windows_build_environment_name new file mode 100644 index 0000000000..4b78354121 --- /dev/null +++ b/cmake/windows_build_environment_name @@ -0,0 +1 @@ +2.3-j00019-PLATFORM-CONFIGURATION-static-55e94982-minimal |